author | wenzelm |
Sun, 02 Dec 2012 14:56:49 +0100 | |
changeset 50312 | 4daa9700d4d7 |
parent 48738 | f8c1a5b9488f |
child 51397 | 03b586ee5930 |
permissions | -rw-r--r-- |
session FOL = Pure + description "First-Order Logic with Natural Deduction" options [proofs = 2] theories FOL files "document/root.tex" session "FOL-ex" in 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"