src/FOL/ROOT
changeset 48738 f8c1a5b9488f
parent 48487 94a9650f79fb
child 51397 03b586ee5930
equal deleted inserted replaced
48737:f3bbb9ca57d6 48738:f8c1a5b9488f
     1 session FOL! in "." = Pure +
     1 session FOL = Pure +
     2   description "First-Order Logic with Natural Deduction"
     2   description "First-Order Logic with Natural Deduction"
     3   options [proofs = 2]
     3   options [proofs = 2]
     4   theories FOL
     4   theories FOL
     5   files "document/root.tex"
     5   files "document/root.tex"
     6 
     6 
     7 session ex = FOL +
     7 session "FOL-ex" in ex = FOL +
     8   theories
     8   theories
     9     First_Order_Logic
     9     First_Order_Logic
    10     Natural_Numbers
    10     Natural_Numbers
    11     Intro
    11     Intro
    12     Nat
    12     Nat