| Wed, 12 Aug 1998 16:20:49 +0200 | oheimb | renamed mk_meta_eq to meta_eq | file | diff | annotate |
| Mon, 22 Jun 1998 17:26:46 +0200 | wenzelm | isatool fixgoal; | file | diff | annotate |
| Fri, 21 Nov 1997 15:29:56 +0100 | wenzelm | changed Pure/Sequence interface -- isatool fixseq; | file | diff | annotate |
| Mon, 03 Nov 1997 12:13:18 +0100 | wenzelm | isatool fixclasimp; | file | diff | annotate |
| Thu, 09 Oct 1997 15:00:41 +0200 | wenzelm | fixed oracle; | file | diff | annotate |
| Fri, 25 Jul 1997 14:31:48 +0200 | wenzelm | removed split_paired_Ex; | file | diff | annotate |
| Mon, 23 Jun 1997 10:42:03 +0200 | paulson | Ran expandshort | file | diff | annotate |
| Fri, 16 May 1997 15:29:41 +0200 | mueller | Invoking Model Checkers in Isabelle/HOL; | file | diff | annotate |