--- a/src/Pure/Isar/parse_spec.ML Sun May 16 00:02:11 2010 +0200 +++ b/src/Pure/Isar/parse_spec.ML Mon May 17 10:20:55 2010 +0200 @@ -162,6 +162,3 @@ end; -(*legacy alias*) -structure SpecParse = Parse_Spec; -