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 |