| Mon, 19 Aug 1996 15:35:11 +0200 | nipkow | updated html-link | file | diff | annotate |
| Sat, 27 Apr 1996 18:47:31 +0200 | nipkow | A completely new version of IMP. | file | diff | annotate |
| Tue, 23 Jan 1996 10:59:35 +0100 | nipkow | Added a verified verification-condition generator. | file | diff | annotate |
| Fri, 17 Nov 1995 13:15:19 +0100 | nipkow | *** empty log message *** | file | diff | annotate |