src/Pure/term_xml.scala
2011-07-12 wenzelm 2011-07-12 more uniform Term and Term_XML modules;