| Mon, 01 Mar 2010 13:40:23 +0100 | haftmann | replaced a couple of constsdefs by definitions (also some old primrecs by modern ones) | file | diff | annotate |
| Sat, 18 Aug 2007 17:42:39 +0200 | wenzelm | removed obsolete ML bindings; | file | diff | annotate |
| Tue, 06 Sep 2005 16:24:53 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
| Thu, 19 Aug 1999 19:55:13 +0200 | wenzelm | quite a lot of tuning an cleanup; | file | diff | annotate |
| Fri, 10 Oct 1997 19:02:28 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Fri, 16 May 1997 15:29:41 +0200 | mueller | Invoking Model Checkers in Isabelle/HOL; | file | diff | annotate |