src/Pure/term_xml.ML
2011-07-12 wenzelm 2011-07-12 tuned;
2011-07-12 wenzelm 2011-07-12 more uniform Term and Term_XML modules;
2011-07-12 wenzelm 2011-07-12 more compact representation of XML data (notably sort/typ/term), using properties as vector of atomic values;
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;