load variable.ML before conv.ML;
authorwenzelm
Thu Oct 04 16:59:29 2007 +0200 (2007-10-04)
changeset 248339131433b19bb
parent 24832 64cd13299d39
child 24834 5684cbf8c895
load variable.ML before conv.ML;
src/Pure/ROOT.ML
     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";