--- a/src/FOL/ROOT.ML Wed Oct 04 12:59:52 1995 +0100
+++ b/src/FOL/ROOT.ML Wed Oct 04 13:01:05 1995 +0100
@@ -16,7 +16,6 @@
print_depth 1;
use_thy "FOL";
-use "../Provers/simplifier.ML";
use "../Provers/splitter.ML";
use "../Provers/ind.ML";
use "../Provers/hypsubst.ML";