Tue, 19 Jun 2007 18:00:49 +0200 |
krauss |
generalized proofs so that call graphs can have any node type.
|
file |
diff |
annotate
|
Thu, 14 Jun 2007 23:04:39 +0200 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
Thu, 14 Jun 2007 18:33:31 +0200 |
wenzelm |
tuned proofs: avoid implicit prems;
|
file |
diff |
annotate
|
Wed, 13 Jun 2007 18:30:11 +0200 |
wenzelm |
tuned proofs: avoid implicit prems;
|
file |
diff |
annotate
|
Mon, 11 Jun 2007 11:06:04 +0200 |
chaieb |
tuned Proof
|
file |
diff |
annotate
|
Sat, 19 May 2007 08:43:15 +0200 |
nipkow |
Had to replace "case 1/2" by "case base/step". No idea why.
|
file |
diff |
annotate
|
Fri, 13 Apr 2007 21:26:35 +0200 |
wenzelm |
tuned document (headers, sections, spacing);
|
file |
diff |
annotate
|
Wed, 28 Feb 2007 11:12:12 +0100 |
krauss |
added headers
|
file |
diff |
annotate
|
Mon, 26 Feb 2007 21:34:16 +0100 |
krauss |
Added formalization of size-change principle (experimental).
|
file |
diff |
annotate
|