author | wenzelm |
Tue, 17 Jul 2012 22:34:29 +0200 | |
changeset 48280 | 7d86239986c2 |
child 48336 | 3c55bfad22eb |
permissions | -rw-r--r-- |
session FOL in "." = Pure + name FOL 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"