src/Pure/Tools/xml_syntax.ML
2010-08-07 wenzelm 2010-08-07 simplified type XML.tree: embed Markup.T directly, avoid slightly odd triple;
2009-11-02 wenzelm 2009-11-02 modernized structure XML_Syntax;
2009-03-25 wenzelm 2009-03-25 Proofterm.approximate_proof_body;
2009-01-27 wenzelm 2009-01-27 proof_body: turned lazy into future -- ensures that body is fulfilled eventually, without explicit force;
2009-01-21 wenzelm 2009-01-21 removed Ids;
2008-11-15 wenzelm 2008-11-15 adapted PThm and MinProof;
2008-08-27 wenzelm 2008-08-27 type Properties.T;
2008-04-03 wenzelm 2008-04-03 XML.string_of;
2007-07-17 berghofe 2007-07-17 Added clause for hypotheses to proof_of_xml function.
2006-12-05 wenzelm 2006-12-05 thm/prf: separate official name vs. additional tags; write_to_file: Path.T;
2006-09-21 berghofe 2006-09-21 XML syntax for types, terms, and proofs.