| Tue, 10 Sep 1996 20:10:29 +0200 | nipkow | Converted proofs to use default clasets. | file | diff | annotate |
| Fri, 23 Aug 1996 13:12:51 +0200 | nipkow | Swaped two conditions in the completeness statement. | file | diff | annotate |
| Fri, 10 May 1996 17:03:17 +0200 | paulson | Updated for new form of induction rules | file | diff | annotate |
| Fri, 09 Feb 1996 13:41:59 +0100 | nipkow | Introduced qed_spec_mp. | file | diff | annotate |
| Tue, 30 Jan 1996 15:24:36 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Tue, 23 Jan 1996 14:25:55 +0100 | nipkow | Added vcwp | file | diff | annotate |
| Tue, 23 Jan 1996 10:59:35 +0100 | nipkow | Added a verified verification-condition generator. | file | diff | annotate |