diff -r 1dff81cf425b -r 03b586ee5930 src/FOL/ROOT --- a/src/FOL/ROOT Mon Mar 11 12:27:31 2013 +0100 +++ b/src/FOL/ROOT Mon Mar 11 13:28:46 2013 +0100 @@ -1,3 +1,5 @@ +chapter FOL + session FOL = Pure + description "First-Order Logic with Natural Deduction" options [proofs = 2]