src/HOL/UNITY/Comp/Priority.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-06-11 Thomas Sewell 2014-06-11 Hypsubst preserves equality hypotheses Fixes included for various theories affected by this change.
2012-03-13 wenzelm 2012-03-13 tuned proofs;
2011-11-20 wenzelm 2011-11-20 'lemmas' / 'theorems' commands allow 'for' fixes and standardize the result before storing;
2011-04-23 wenzelm 2011-04-23 modernized specifications;
2010-07-22 wenzelm 2010-07-22 updated some headers;
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)
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
2004-11-08 paulson 2004-11-08 tidied comments
2003-07-03 paulson 2003-07-03 converted Counter, Counterc and PriorityAux to Isar scripts (all HOL/UNITY/Comp)
2003-07-03 paulson 2003-07-03 Conversion of UNITY/Comp/Priority.thy to a linear Isar script
2003-02-08 paulson 2003-02-08 converting HOL/UNITY to use unconditional fairness
2003-01-30 paulson 2003-01-30 converting more UNITY theories to new-style
2001-03-05 paulson 2001-03-05 reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp