diff -r f07e865d9d40 -r 7219facb3fd0 src/FOL/README.html
--- a/src/FOL/README.html Mon Mar 07 18:40:36 2005 +0100
+++ b/src/FOL/README.html Mon Mar 07 19:17:07 2005 +0100
@@ -1,6 +1,15 @@
-FOL/README
+
+
+
+
+
+
+ FOL/README
+
+
+
FOL: First-Order Logic with Natural Deduction
@@ -19,4 +28,5 @@
Antony Galton, Logic for Information Technology (Wiley, 1990)
Michael Dummett, Elements of Intuitionism (Oxford, 1977)
-
+
+