src/Pure/ROOT.ML
changeset 28404 b906dd1de855
parent 28318 6b8d001ce1de
child 28952 15a4b2cf8c34
     1.1 --- a/src/Pure/ROOT.ML	Mon Sep 29 12:32:00 2008 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Mon Sep 29 14:41:22 2008 +0200
     1.3 @@ -29,9 +29,10 @@
     1.4  use "term_subst.ML";
     1.5  use "logic.ML";
     1.6  use "General/pretty.ML";
     1.7 +use "context.ML";
     1.8 +use "context_position.ML";
     1.9  use "Syntax/lexicon.ML";
    1.10  use "Syntax/simple_syntax.ML";
    1.11 -use "context.ML";
    1.12  use "sorts.ML";
    1.13  use "type.ML";
    1.14  use "config.ML";