Thu, 09 Oct 1997 15:00:41 +0200 | wenzelm | fixed oracle; | file | diff | annotate |
Mon, 22 Sep 1997 17:31:57 +0200 | wenzelm | tuned pattern syntax; | file | diff | annotate |
Fri, 16 May 1997 15:29:41 +0200 | mueller | Invoking Model Checkers in Isabelle/HOL; | file | diff | annotate |