load morphism.ML later;
authorwenzelm
Sun Feb 04 22:02:13 2007 +0100 (2007-02-04)
changeset 22233c37d7404199b
parent 22232 340cb955008e
child 22234 52ba19aaa9c2
load morphism.ML later;
src/Pure/ROOT.ML
     1.1 --- a/src/Pure/ROOT.ML	Sat Feb 03 23:42:55 2007 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Sun Feb 04 22:02:13 2007 +0100
     1.3 @@ -47,11 +47,11 @@
     1.4  use "theory.ML";
     1.5  use "proofterm.ML";
     1.6  use "thm.ML";
     1.7 -use "morphism.ML";
     1.8  use "fact_index.ML";
     1.9  use "pure_thy.ML";
    1.10  use "display.ML";
    1.11  use "drule.ML";
    1.12 +use "morphism.ML";
    1.13  use "variable.ML";
    1.14  use "tctical.ML";
    1.15  use "search.ML";