tuned order;
authorwenzelm
Tue Aug 14 23:22:53 2007 +0200 (2007-08-14)
changeset 242722f85bae2e2c2
parent 24271 499608101177
child 24273 1d4b411caf44
tuned order;
src/Pure/ROOT.ML
     1.1 --- a/src/Pure/ROOT.ML	Tue Aug 14 23:22:51 2007 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Tue Aug 14 23:22:53 2007 +0200
     1.3 @@ -26,13 +26,13 @@
     1.4  use "General/pretty.ML";
     1.5  use "Syntax/lexicon.ML";
     1.6  use "Syntax/simple_syntax.ML";
     1.7 -use "sorts.ML";
     1.8 -use "type.ML";
     1.9  use "context.ML";
    1.10  use "context_position.ML";
    1.11 +use "sorts.ML";
    1.12 +use "type.ML";
    1.13 +use "type_infer.ML";
    1.14  use "config.ML";
    1.15  use "compress.ML";
    1.16 -use "type_infer.ML";
    1.17  
    1.18  (*inner syntax module*)
    1.19  use "Syntax/ast.ML";