src/Pure/ROOT.ML
changeset 25953 03937086b1fe
parent 25750 4e796867ccb5
child 26109 c69c3559355b
     1.1 --- a/src/Pure/ROOT.ML	Thu Jan 24 12:02:44 2008 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Thu Jan 24 23:51:11 2008 +0100
     1.3 @@ -26,7 +26,6 @@
     1.4  use "Syntax/lexicon.ML";
     1.5  use "Syntax/simple_syntax.ML";
     1.6  use "context.ML";
     1.7 -use "context_position.ML";
     1.8  use "sorts.ML";
     1.9  use "type.ML";
    1.10  use "type_infer.ML";