--- a/src/FOL/ROOT.ML Fri Jul 25 13:18:09 1997 +0200
+++ b/src/FOL/ROOT.ML Fri Jul 25 13:18:45 1997 +0200
@@ -13,6 +13,7 @@
print_depth 1;
+use "../Provers/simplifier.ML";
use "../Provers/splitter.ML";
use "../Provers/ind.ML";
use "../Provers/hypsubst.ML";