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