src/Sequents/ROOT.ML
changeset 16019 0e1405402d53
parent 9000 c20d58286a51
child 17481 75166ebb619b
     1.1 --- a/src/Sequents/ROOT.ML	Sun May 22 16:51:06 2005 +0200
     1.2 +++ b/src/Sequents/ROOT.ML	Sun May 22 16:51:07 2005 +0200
     1.3 @@ -14,8 +14,6 @@
     1.4  Unify.trace_bound:= 20;
     1.5  Unify.search_bound := 40;
     1.6  
     1.7 -use "~~/src/Provers/simplifier.ML";
     1.8 -
     1.9  use_thy "Sequents";
    1.10  use "prover.ML";
    1.11