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 |