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