diff -r 765d5d6e4468 -r f21466450330 src/FOL/README.html --- a/src/FOL/README.html Sat Nov 13 17:30:03 2004 +0100 +++ b/src/FOL/README.html Sun Nov 14 01:40:27 2004 +0100 @@ -1,3 +1,5 @@ + + FOL/README

FOL: First-Order Logic with Natural Deduction