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 |