src/FOL/ROOT.ML

--- a/src/FOL/ROOT.ML	Mon Nov 15 14:41:25 1993 +0100
+++ b/src/FOL/ROOT.ML	Tue Nov 16 14:10:19 1993 +0100
@@ -15,7 +15,6 @@
 open Readthy;
 
 print_depth 1;  
-use_thy "IFOL";
 use_thy "FOL";
 
 use "../Provers/hypsubst.ML";