| Wed, 07 May 1997 13:50:52 +0200 | paulson | changed title to README | file | diff | annotate |
| Mon, 17 Mar 1997 15:09:13 +0100 | nipkow | Added link to HOLCF/IMP | file | diff | annotate |
| 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 |