src/HOL/UNITY/Comp/Counter.thy
2014-09-11 blanchet 2014-09-11 updated news
2014-09-09 blanchet 2014-09-09 use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
2012-03-13 wenzelm 2012-03-13 tuned proofs;
2011-04-23 wenzelm 2011-04-23 modernized specifications;
2010-05-12 wenzelm 2010-05-12 modernized specifications;
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2006-01-03 paulson 2006-01-03 added explicit paths to required theories
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2005-06-02 paulson 2005-06-02 renamed "constrains" to "safety" to avoid keyword clash
2003-07-09 paulson 2003-07-09 ~= to neq
2003-07-03 paulson 2003-07-03 converted Counter, Counterc and PriorityAux to Isar scripts (all HOL/UNITY/Comp)
2003-02-08 paulson 2003-02-08 converting HOL/UNITY to use unconditional fairness
2003-01-29 paulson 2003-01-29 converted more UNITY theories to new-style
2001-10-22 paulson 2001-10-22 Numerals now work for the integers: the binary numerals for 0 and 1 rewrite to their abstract counterparts, while other binary numerals work correctly.
2001-10-05 wenzelm 2001-10-05 sane numerals (stage 1): added generic 1, removed 1' and 2 on nat, "num" syntax (still with "#"), Numeral0, Numeral1;
2001-03-05 paulson 2001-03-05 reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp