src/FOL/ROOT
changeset 48487 94a9650f79fb
parent 48470 7483aa690b4f
child 48738 f8c1a5b9488f
equal deleted inserted replaced
48486:691d0b44a793 48487:94a9650f79fb
     1 session FOL! (10) in "." = Pure +
     1 session FOL! in "." = 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