src/HOL/Modelcheck/ROOT.ML
2008-09-17 wenzelm 2008-09-17 moved global ML bindings to global place;
2007-07-03 wenzelm 2007-07-03 use mucke_oracle.ML only once;
2005-09-06 wenzelm 2005-09-06 converted to Isar theory format;
2000-05-30 wenzelm 2000-05-30 cleaned up;
1999-08-19 wenzelm 1999-08-19 quite a lot of tuning an cleanup;
1999-04-22 mueller 1999-04-22 delete old files for adding second modelchecker connection;
1997-05-16 mueller 1997-05-16 Invoking Model Checkers in Isabelle/HOL;