| 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
|
| 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
|