| Tue, 09 Jan 2001 15:32:27 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 04 Jul 2000 15:58:11 +0200 | paulson | removed most batch-style proofs | file | diff | annotate |
| Wed, 28 Jun 2000 10:54:21 +0200 | paulson | tidying and unbatchifying | file | diff | annotate |
| Wed, 29 Sep 1999 14:56:49 +0200 | wenzelm | bind_thms; | file | diff | annotate |
| Wed, 15 Jul 1998 10:15:13 +0200 | paulson | Removal of leading "\!\!..." from most Goal commands | file | diff | annotate |
| Mon, 22 Jun 1998 17:13:09 +0200 | wenzelm | isatool fixgoal; | file | diff | annotate |
| Mon, 27 Apr 1998 16:47:50 +0200 | nipkow | Renamed expand_const -> split_const | file | diff | annotate |
| Fri, 20 Feb 1998 17:57:16 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 24 Dec 1997 10:02:30 +0100 | paulson | New Auto_tac (by Oheimb), and new syntax (without parens), and expandshort | file | diff | annotate |
| Tue, 16 Dec 1997 17:58:03 +0100 | wenzelm | expandshort; | file | diff | annotate |
| Mon, 03 Nov 1997 14:06:27 +0100 | wenzelm | isatool fixclasimp; | file | diff | annotate |
| Thu, 24 Apr 1997 18:00:22 +0200 | mueller | Main changes are: | file | diff | annotate |
| Mon, 17 Feb 1997 16:01:16 +0100 | oheimb | reflecting recent changes of the simplifier | file | diff | annotate |
| Mon, 17 Feb 1997 10:57:11 +0100 | slotosch | Changes of HOLCF from Oscar Slotosch: | file | diff | annotate |