changeset 48738 | f8c1a5b9488f |
parent 48487 | 94a9650f79fb |
child 51397 | 03b586ee5930 |
--- a/src/FOL/ROOT Wed Aug 08 15:58:40 2012 +0200 +++ b/src/FOL/ROOT Wed Aug 08 17:49:56 2012 +0200 @@ -1,10 +1,10 @@ -session FOL! in "." = Pure + +session FOL = Pure + description "First-Order Logic with Natural Deduction" options [proofs = 2] theories FOL files "document/root.tex" -session ex = FOL + +session "FOL-ex" in ex = FOL + theories First_Order_Logic Natural_Numbers