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";