| Wed, 27 Aug 2003 18:13:59 +0200 | skalberg | Converted to new style theories. | file | diff | annotate |
| Thu, 31 May 2001 16:17:28 +0200 | oheimb | added weak_coinduct_image | file | diff | annotate |
| Wed, 11 Oct 2000 09:09:06 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Sat, 23 Sep 2000 16:12:07 +0200 | paulson | tidied, removing obsolete "goal" commands | file | diff | annotate |
| Mon, 24 Jul 2000 23:51:46 +0200 | wenzelm | avoid referencing thy value; | file | diff | annotate |
| Thu, 13 Aug 1998 18:14:26 +0200 | paulson | even more tidying of Goal commands | file | diff | annotate |
| Wed, 15 Jul 1998 14:19:02 +0200 | paulson | More tidying and removal of "\!\!... from Goal commands | file | diff | annotate |
| Mon, 22 Jun 1998 17:26:46 +0200 | wenzelm | isatool fixgoal; | file | diff | annotate |
| Fri, 10 Oct 1997 19:02:28 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Thu, 26 Sep 1996 16:38:02 +0200 | paulson | Ran expandshort; used stac instead of ssubst | file | diff | annotate |
| Tue, 30 Jan 1996 15:24:36 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Fri, 03 Mar 1995 12:02:25 +0100 | clasohm | new version of HOL with curried function application | file | diff | annotate |