author | wenzelm |
Tue, 24 Jul 2012 10:11:49 +0200 | |
changeset 48458 | 09710d6fc3d1 |
parent 48349 | a78e5d399599 |
child 48470 | 7483aa690b4f |
permissions | -rw-r--r-- |
session FOL! (10) in "." = Pure + description "First-Order Logic with Natural Deduction" options [proofs = 2] theories FOL files "document/root.tex" session ex = FOL + theories First_Order_Logic Natural_Numbers Intro Nat Nat_Class Foundation Prolog Intuitionistic Propositional_Int Quantifiers_Int Classical Propositional_Cla Quantifiers_Cla Miniscope If theories [no_document] "Locale_Test/Locale_Test" files "document/root.tex"