author | wenzelm |
Mon, 02 Nov 2009 21:07:10 +0100 | |
changeset 33392 | 73c8987dc9f0 |
parent 33391 | 91b9da2a7b44 |
child 33393 | 2240b0e7fa10 |
--- a/src/Pure/Tools/xml_syntax.ML Mon Nov 02 21:05:47 2009 +0100 +++ b/src/Pure/Tools/xml_syntax.ML Mon Nov 02 21:07:10 2009 +0100 @@ -17,7 +17,7 @@ val proof_of_xml: XML.tree -> Proofterm.proof end; -structure XMLSyntax : XML_SYNTAX = +structure XML_Syntax : XML_SYNTAX = struct (**** XML output ****)