src/Pure/term_xml.ML
2011-07-12 ago tuned;
2011-07-12 ago more uniform Term and Term_XML modules;
2011-07-12 ago more compact representation of XML data (notably sort/typ/term), using properties as vector of atomic values;
2011-07-12 ago tuned XML modules;
2011-07-10 ago inner syntax supports inlined YXML according to Term_XML (particularly useful for producing text under program control);
2011-07-10 ago lambda terms with XML data representation in Scala;
2011-07-10 ago XML data representation of lambda terms;