| 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, 13 Jan 1999 11:57:09 +0100 | paulson | datatype package improvements | file | diff | annotate |
| Tue, 12 Jan 1999 15:17:37 +0100 | wenzelm | eliminated global/local names; | file | diff | annotate |
| Thu, 24 Sep 1998 17:17:14 +0200 | oheimb | renamed mk_meta_eq to mk_eq | file | diff | annotate |
| Tue, 22 Sep 1998 13:50:57 +0200 | paulson | tidying | 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 |
| Fri, 03 Jan 1997 15:01:55 +0100 | paulson | Implicit simpsets and clasets for FOL and ZF | file | diff | annotate |