| Thu, 06 Aug 1998 15:48:13 +0200 | paulson | even more tidying of Goal commands | file | diff | annotate |
| Fri, 31 Jul 1998 10:48:42 +0200 | paulson | Removal of obsolete "open" commands from heads of .ML files | file | diff | annotate |
| Fri, 24 Jul 1998 13:03:20 +0200 | berghofe | Adapted to new datatype package. | file | diff | annotate |
| Fri, 03 Jul 1998 10:36:47 +0200 | nipkow | Removed leading !! in goals. | file | diff | annotate |
| Mon, 22 Jun 1998 17:26:46 +0200 | wenzelm | isatool fixgoal; | file | diff | annotate |
| Mon, 03 Nov 1997 12:13:18 +0100 | wenzelm | isatool fixclasimp; | file | diff | annotate |
| Fri, 10 Oct 1997 19:02:28 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Tue, 18 Mar 1997 18:02:19 +0100 | nipkow | Added wp_while. | file | diff | annotate |
| Mon, 07 Oct 1996 10:26:00 +0200 | paulson | Ran expandshort | file | diff | annotate |
| Thu, 26 Sep 1996 12:47:47 +0200 | paulson | Ran expandshort | file | diff | annotate |
| 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 |