src/Pure/ROOT.ML
changeset 36949 080e85d46108
parent 35949 65d8cfff417f
child 36951 985c197f2fe9
     1.1 --- a/src/Pure/ROOT.ML	Sat May 15 22:15:57 2010 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Sat May 15 22:24:25 2010 +0200
     1.3 @@ -168,8 +168,8 @@
     1.4  
     1.5  (*outer syntax*)
     1.6  use "Isar/outer_lex.ML";
     1.7 -use "Isar/outer_keyword.ML";
     1.8 -use "Isar/outer_parse.ML";
     1.9 +use "Isar/keyword.ML";
    1.10 +use "Isar/parse.ML";
    1.11  use "Isar/value_parse.ML";
    1.12  use "Isar/args.ML";
    1.13