src/Pure/ROOT.ML
changeset 24833 9131433b19bb
parent 24664 4195de64fdb1
child 24963 c04ec061ac2b
     1.1 --- a/src/Pure/ROOT.ML	Thu Oct 04 16:59:28 2007 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Thu Oct 04 16:59:29 2007 +0200
     1.3 @@ -64,9 +64,9 @@
     1.4  use "pure_thy.ML";
     1.5  use "display.ML";
     1.6  use "drule.ML";
     1.7 -use "conv.ML";
     1.8  use "morphism.ML";
     1.9  use "variable.ML";
    1.10 +use "conv.ML";
    1.11  use "tctical.ML";
    1.12  use "search.ML";
    1.13  use "tactic.ML";