slightly more logical bootstrap order -- also helps to sort out proof terms extension;
authorwenzelm
Wed Mar 24 21:55:30 2010 +0100 (2010-03-24)
changeset 3594965d8cfff417f
parent 35948 5e7909f0346b
child 35958 a6f369262804
slightly more logical bootstrap order -- also helps to sort out proof terms extension;
src/Pure/ROOT.ML
     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