src/HOL/Modelcheck/ROOT.ML
Tue, 03 Jul 2007 22:27:13 +0200 wenzelm use mucke_oracle.ML only once;
Tue, 06 Sep 2005 16:24:53 +0200 wenzelm converted to Isar theory format;
Tue, 30 May 2000 16:08:38 +0200 wenzelm cleaned up;
Thu, 19 Aug 1999 19:55:13 +0200 wenzelm quite a lot of tuning an cleanup;
Thu, 22 Apr 1999 10:55:23 +0200 mueller delete old files for adding second modelchecker connection;
Fri, 16 May 1997 15:29:41 +0200 mueller Invoking Model Checkers in Isabelle/HOL;
less more (0) tip