Sat, 15 Nov 2008 21:31:37 +0100 | wenzelm | adapted PThm and MinProof; | file | diff | annotate |
Wed, 27 Aug 2008 11:48:54 +0200 | wenzelm | type Properties.T; | file | diff | annotate |
Thu, 03 Apr 2008 18:42:42 +0200 | wenzelm | XML.string_of; | file | diff | annotate |
Tue, 17 Jul 2007 16:05:34 +0200 | berghofe | Added clause for hypotheses to proof_of_xml function. | file | diff | annotate |
Tue, 05 Dec 2006 00:29:19 +0100 | wenzelm | thm/prf: separate official name vs. additional tags; | file | diff | annotate |
Thu, 21 Sep 2006 15:41:18 +0200 | berghofe | XML syntax for types, terms, and proofs. | file | diff | annotate |