src/HOL/Modelcheck/EindhovenSyn.ML
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2002-08-06 wenzelm 2002-08-06 sane interface for simprocs;
1999-08-19 wenzelm 1999-08-19 quite a lot of tuning an cleanup;
1999-04-22 mueller 1999-04-22 added modelchecker mucke besides modelchecker eindhoven;