src/Pure/Isar/parse_value.ML
2010-05-15 wenzelm 2010-05-15 renamed structure ValueParse to Parse_Value; eliminated old-style structure alias V;