src/Pure/Tools/isabelle.xsd
2007-07-17 berghofe 2007-07-17 Added hypotheses.
2006-09-21 berghofe 2006-09-21 XML syntax for types, terms, and proofs.