src/Pure/ROOT.ML
changeset 28404 b906dd1de855
parent 28318 6b8d001ce1de
child 28952 15a4b2cf8c34
--- a/src/Pure/ROOT.ML	Mon Sep 29 12:32:00 2008 +0200
+++ b/src/Pure/ROOT.ML	Mon Sep 29 14:41:22 2008 +0200
@@ -29,9 +29,10 @@
 use "term_subst.ML";
 use "logic.ML";
 use "General/pretty.ML";
+use "context.ML";
+use "context_position.ML";
 use "Syntax/lexicon.ML";
 use "Syntax/simple_syntax.ML";
-use "context.ML";
 use "sorts.ML";
 use "type.ML";
 use "config.ML";