src/Pure/term_xml.ML
2011-07-12 wenzelm 2011-07-12 tuned XML modules;
2011-07-10 wenzelm 2011-07-10 inner syntax supports inlined YXML according to Term_XML (particularly useful for producing text under program control); tuned signature;
2011-07-10 wenzelm 2011-07-10 lambda terms with XML data representation in Scala; avoid `class` in signature;
2011-07-10 wenzelm 2011-07-10 XML data representation of lambda terms;