src/FOL/ROOT
changeset 48349 a78e5d399599
parent 48336 3c55bfad22eb
child 48458 09710d6fc3d1
equal deleted inserted replaced
48348:cbb25adad26f 48349:a78e5d399599
     1 session FOL! in "." = Pure +
     1 session FOL! (10) 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