src/Pure/ROOT.ML
changeset 58903 38c72f5f6c2e
parent 58846 98c03412079b
child 58928 23d0ffd48006
     1.1 --- a/src/Pure/ROOT.ML	Wed Nov 05 20:05:32 2014 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Wed Nov 05 20:20:57 2014 +0100
     1.3 @@ -230,8 +230,8 @@
     1.4  use "Isar/local_defs.ML";
     1.5  
     1.6  (*outer syntax*)
     1.7 +use "Isar/keyword.ML";
     1.8  use "Isar/token.ML";
     1.9 -use "Isar/keyword.ML";
    1.10  use "Isar/parse.ML";
    1.11  use "Isar/args.ML";
    1.12