src/HOL/Modelcheck/MuckeSyn.thy
2010-02-11 wenzelm 2010-02-11 modernized syntax/translations;
2009-11-24 haftmann 2009-11-24 curried take/drop
2009-10-21 wenzelm 2009-10-21 standardized basic operations on type option;
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2009-07-24 wenzelm 2009-07-24 do not open OldGoals;
2009-07-15 wenzelm 2009-07-15 more antiquotations;
2008-09-18 wenzelm 2008-09-18 simplified oracle interface;
2008-09-17 wenzelm 2008-09-17 moved global ML bindings to global place;
2008-05-18 wenzelm 2008-05-18 eliminated theory CPure;
2008-05-18 wenzelm 2008-05-18 moved global pretty/string_of functions from Sign to Syntax;
2008-03-19 wenzelm 2008-03-19 more antiquotations;
2007-04-26 wenzelm 2007-04-26 removed legacy ML files;
2006-11-26 wenzelm 2006-11-26 updated (binder) syntax/notation;
2005-09-06 wenzelm 2005-09-06 converted to Isar theory format;
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;