| Wed, 17 Sep 2008 21:27:14 +0200 | wenzelm | moved global ML bindings to global place; | file | diff | annotate |
| Tue, 03 Jul 2007 22:27:13 +0200 | wenzelm | use mucke_oracle.ML only once; | file | diff | annotate |
| Tue, 06 Sep 2005 16:24:53 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
| Tue, 30 May 2000 16:08:38 +0200 | wenzelm | cleaned up; | file | diff | annotate |
| Thu, 19 Aug 1999 19:55:13 +0200 | wenzelm | quite a lot of tuning an cleanup; | file | diff | annotate |
| Thu, 22 Apr 1999 10:55:23 +0200 | mueller | delete old files for adding second modelchecker connection; | file | diff | annotate |
| Fri, 16 May 1997 15:29:41 +0200 | mueller | Invoking Model Checkers in Isabelle/HOL; | file | diff | annotate |