src/Pure/Isar/parse_spec.ML
2010-05-17 ago centralized legacy aliases;
2010-05-15 ago renamed structure SpecParse to Parse_Spec, keeping the old name as alias for some time;