src/Pure/General/xml_data.ML
2010-08-10 wenzelm 2010-08-10 type XML.body as basic data representation language; tuned;