# HG changeset patch
# User clasohm
# Date 812808065 -3600
# Node ID 290c4dfc34bae00ae4c61878aedad92d1498f43f
# Parent  8f40ff1299d814d5dad44d4506b5eec0b727450c
removed command for loading Provers/simplifier.ML (now done in Pure/Thy/ROOT)

diff -r 8f40ff1299d8 -r 290c4dfc34ba src/FOL/ROOT.ML
--- 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";