src/HOL/UNITY/Simple/Mutex.thy
2003-02-08 paulson 2003-02-08 converting HOL/UNITY to use unconditional fairness
2003-02-05 paulson 2003-02-05 more tidying
2003-01-24 paulson 2003-01-24 Partial conversion of UNITY to Isar new-style theories
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-06 wenzelm 2001-10-06 * sane numerals (stage 2): plain "num" syntax (removed "#");
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