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