src/Pure/ROOT.ML
changeset 41228 e1fce873b814
parent 40748 591b6778d076
child 41710 11ae688e4e30
     1.1 --- a/src/Pure/ROOT.ML	Fri Dec 17 16:25:21 2010 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Fri Dec 17 17:08:56 2010 +0100
     1.3 @@ -153,7 +153,7 @@
     1.4  use "tactical.ML";
     1.5  use "search.ML";
     1.6  use "tactic.ML";
     1.7 -use "meta_simplifier.ML";
     1.8 +use "raw_simplifier.ML";
     1.9  use "conjunction.ML";
    1.10  use "assumption.ML";
    1.11  use "display.ML";