src/Pure/Isar/parse_value.ML
2010-05-15 ago renamed structure ValueParse to Parse_Value;