| 1997-05-07 | paulson | changed title to README | file | diff | annotate |
| 1997-03-17 | nipkow | Added link to HOLCF/IMP | file | diff | annotate |
| 1996-08-19 | nipkow | updated html-link | file | diff | annotate |
| 1996-04-27 | nipkow | A completely new version of IMP. | file | diff | annotate |
| 1996-01-23 | nipkow | Added a verified verification-condition generator. | file | diff | annotate |
| 1995-11-17 | nipkow | *** empty log message *** | file | diff | annotate |