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