src/FOL/FOL.ML

--- a/src/FOL/FOL.ML	Thu Feb 02 19:57:13 2006 +0100
+++ b/src/FOL/FOL.ML	Thu Feb 02 21:59:55 2006 +0100
@@ -4,5 +4,3 @@
   val thy = the_context ();
   val classical = classical;
 end;
-
-open FOL;