| Sun, 20 Jun 2004 09:30:12 +0200 | wenzelm | got rid of Output.output for default print mode; | file | diff | annotate |
| Sat, 29 May 2004 14:57:39 +0200 | wenzelm | Output.output; | file | diff | annotate |
| Thu, 09 Oct 1997 15:00:41 +0200 | wenzelm | fixed oracle; | file | diff | annotate |
| Fri, 16 May 1997 15:29:41 +0200 | mueller | Invoking Model Checkers in Isabelle/HOL; | file | diff | annotate |