src/Sequents/ROOT.ML

--- a/src/Sequents/ROOT.ML	Sun May 22 16:51:06 2005 +0200
+++ b/src/Sequents/ROOT.ML	Sun May 22 16:51:07 2005 +0200
@@ -14,8 +14,6 @@
 Unify.trace_bound:= 20;
 Unify.search_bound := 40;
 
-use "~~/src/Provers/simplifier.ML";
-
 use_thy "Sequents";
 use "prover.ML";