src/HOL/Modelcheck/MuckeSyn.thy
2004-06-01 wenzelm 2004-06-01 removed obsolete sort 'logic';
2002-01-08 wenzelm 2002-01-08 syntax "_not_equal";
2000-10-02 wenzelm 2000-10-02 tuned;
2000-07-16 wenzelm 2000-07-16 adapted tuple syntax;
2000-06-13 wenzelm 2000-06-13 rename @case to _case_syntax (improves on low-level errors);
1999-04-22 mueller 1999-04-22 added modelchecker mucke besides modelchecker eindhoven;