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