src/Pure/ROOT.ML
changeset 35949 65d8cfff417f
parent 35669 a91c7ed801b8
child 36949 080e85d46108
     1.1 --- a/src/Pure/ROOT.ML	Wed Mar 24 07:50:21 2010 -0700
     1.2 +++ b/src/Pure/ROOT.ML	Wed Mar 24 21:55:30 2010 +0100
     1.3 @@ -92,14 +92,14 @@
     1.4  use "term_ord.ML";
     1.5  use "term_subst.ML";
     1.6  use "old_term.ML";
     1.7 -use "logic.ML";
     1.8  use "General/pretty.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 "logic.ML";
    1.14  use "Syntax/lexicon.ML";
    1.15  use "Syntax/simple_syntax.ML";
    1.16 -use "sorts.ML";
    1.17 -use "type.ML";
    1.18  use "config.ML";
    1.19  
    1.20