| Wed, 23 Jan 2002 11:43:53 +0100 | paulson | A few more standard simprules, TCs, etc. | file | diff | annotate |
| Thu, 07 Sep 2000 21:12:49 +0200 | wenzelm | tuned ML code (the_context, bind_thms(s)); | file | diff | annotate |
| Fri, 30 Jun 2000 12:51:30 +0200 | paulson | removal of batch-style proofs | file | diff | annotate |
| Wed, 28 Jun 2000 12:34:08 +0200 | paulson | tidying and unbatchifying | file | diff | annotate |
| Wed, 22 Mar 2000 12:45:41 +0100 | paulson | tidied using new "inst" rule | file | diff | annotate |
| Wed, 13 Jan 1999 11:57:09 +0100 | paulson | datatype package improvements | file | diff | annotate |
| Fri, 18 Sep 1998 15:09:46 +0200 | paulson | tidied | file | diff | annotate |
| Thu, 06 Aug 1998 12:24:04 +0200 | paulson | even more tidying of Goal commands | file | diff | annotate |
| Wed, 15 Jul 1998 14:13:18 +0200 | paulson | More tidying and removal of "\!\!... from Goal commands | file | diff | annotate |
| Mon, 13 Jul 1998 16:43:57 +0200 | paulson | Huge tidy-up: removal of leading \!\! | file | diff | annotate |
| Mon, 22 Jun 1998 17:12:27 +0200 | wenzelm | isatool fixgoal; | 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 |
| Mon, 03 Nov 1997 12:24:13 +0100 | wenzelm | isatool fixclasimp; | file | diff | annotate |
| Fri, 10 Oct 1997 18:23:31 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Wed, 23 Apr 1997 10:54:22 +0200 | paulson | Conversion to use blast_tac | file | diff | annotate |