src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Sat May 15 22:15:57 2010 +0200
+++ b/src/Pure/ROOT.ML	Sat May 15 22:24:25 2010 +0200
@@ -168,8 +168,8 @@
 
 (*outer syntax*)
 use "Isar/outer_lex.ML";
-use "Isar/outer_keyword.ML";
-use "Isar/outer_parse.ML";
+use "Isar/keyword.ML";
+use "Isar/parse.ML";
 use "Isar/value_parse.ML";
 use "Isar/args.ML";