Thu, 21 Sep 2006 15:41:18 +0200 | berghofe | XML syntax for types, terms, and proofs. | changeset | files |
Thu, 21 Sep 2006 15:40:49 +0200 | berghofe | Added xml_syntax.ML | changeset | files |
Thu, 21 Sep 2006 15:40:31 +0200 | berghofe | Added Tools/xml_syntax.ML | changeset | files |