- Just checked in Isabelle that backwards inference steps can be applied directly...
authorMatej Urbas <matej.urbas@gmail.com>
Wed, 18 Apr 2012 08:34:01 +0000 (09:34 +0100)
committerMatej Urbas <matej.urbas@gmail.com>
Wed, 18 Apr 2012 08:34:01 +0000 (09:34 +0100)
commit15acba62ebc4e313b41536e845c7785378d4a1cd
tree00a5fc3ba04077629a176afa525b7a65fc2a1958
parenteda9f1ac7b9731d0a0ef7855177353587840b473
- Just checked in Isabelle that backwards inference steps can be applied directly on conclusions with HOL conjunctions and disjunctions.
devel/Theories/Diabelli/HeterogeneousStatements.thy