| Sun, 13 Mar 2011 22:55:50 +0100 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
| Wed, 08 Sep 2010 19:21:46 +0200 |
haftmann |
modernized primrec
|
file |
diff |
annotate
|
| Mon, 20 Apr 2009 09:32:07 +0200 |
haftmann |
power operation on functions with syntax o^; power operation on relations with syntax ^^
|
file |
diff |
annotate
|
| Wed, 25 Jun 2008 22:01:35 +0200 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
| Wed, 11 Jul 2007 11:14:51 +0200 |
berghofe |
Adapted to new inductive definition package.
|
file |
diff |
annotate
|
| Thu, 08 Dec 2005 20:15:50 +0100 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
| Wed, 14 Apr 2004 14:13:05 +0200 |
kleing |
use more symbols in HTML output
|
file |
diff |
annotate
|
| Fri, 10 May 2002 11:56:26 +0200 |
nipkow |
commented out half converted proof
|
file |
diff |
annotate
|
| Tue, 07 May 2002 19:15:11 +0200 |
nipkow |
a bit of conversion to structured proofs
|
file |
diff |
annotate
|
| Fri, 26 Apr 2002 11:47:01 +0200 |
nipkow |
New machine architecture and other direction of compiler proof.
|
file |
diff |
annotate
|