| Sat, 07 Aug 2010 21:03:06 +0200 | wenzelm | simplified type XML.tree: embed Markup.T directly, avoid slightly odd triple; | file | diff | annotate |
| Mon, 02 Nov 2009 21:07:10 +0100 | wenzelm | modernized structure XML_Syntax; | file | diff | annotate |
| Wed, 25 Mar 2009 16:54:49 +0100 | wenzelm | Proofterm.approximate_proof_body; | file | diff | annotate |
| Tue, 27 Jan 2009 00:29:37 +0100 | wenzelm | proof_body: turned lazy into future -- ensures that body is fulfilled eventually, without explicit force; | file | diff | annotate |
| Wed, 21 Jan 2009 23:21:44 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| 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 |