author | wenzelm |
Tue, 24 Jul 2012 21:36:53 +0200 | |
changeset 48487 | 94a9650f79fb |
parent 48470 | 7483aa690b4f |
child 48738 | f8c1a5b9488f |
permissions | -rw-r--r-- |
session FOL! 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 [document = false] "Locale_Test/Locale_Test" files "document/root.tex"