History log of /seL4-l4v-10.1.1/isabelle/src/Pure/term_xml.scala
Revision Date Author Comments
# 57494739 12-Jul-2011 wenzelm <none@none>

more uniform Term and Term_XML modules;