src/HOL/Modelcheck/MuckeSyn.ML
2005-06-17 wenzelm 2005-06-17 replaced obsolete theory_of_sign by theory_of_thm;
2005-05-31 wenzelm 2005-05-31 no_tac;
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2002-08-08 wenzelm 2002-08-08 use Tactic.prove instead of prove_goalw_cterm in internal proofs!
2002-08-06 wenzelm 2002-08-06 sane interface for simprocs;
2001-02-01 oheimb 2001-02-01 converted to Isar therory, adding attributes complete_split and split_format
2000-10-12 nipkow 2000-10-12 *** empty log message ***
1999-08-23 wenzelm 1999-08-23 isatool expandshort;
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;