1.1 --- a/src/Pure/ROOT.ML	Sat May 15 23:23:45 2010 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Sat May 15 23:32:15 2010 +0200
     1.3 @@ -220,7 +220,7 @@
     1.4  use "Isar/code.ML";
     1.5  
     1.6  (*specifications*)
     1.7 -use "Isar/spec_parse.ML";
     1.8 +use "Isar/parse_spec.ML";
     1.9  use "Isar/spec_rules.ML";
    1.10  use "Isar/specification.ML";
    1.11  use "Isar/typedecl.ML";