changeset 29606 | fedb8be05f24 |
parent 28811 | aa36d05926ec |
child 29635 | 31d14e9fa0da |
29605:f2924219125e | 29606:fedb8be05f24 |
---|---|
1 (* Title: Pure/Tools/xml_syntax.ML |
1 (* Title: Pure/Tools/xml_syntax.ML |
2 ID: $Id$ |
|
3 Author: Stefan Berghofer, TU Muenchen |
2 Author: Stefan Berghofer, TU Muenchen |
4 |
3 |
5 Input and output of types, terms, and proofs in XML format. |
4 Input and output of types, terms, and proofs in XML format. |
6 See isabelle.xsd for a description of the syntax. |
5 See isabelle.xsd for a description of the syntax. |
7 *) |
6 *) |