2012-03-01 haftmann 2012-03-01 more fundamental pred-to-set conversions, particularly by means of inductive_set; associated consolidation of some theorem names (c.f. NEWS)
2011-04-23 wenzelm 2011-04-23 modernized specifications;
2010-05-12 wenzelm 2010-05-12 modernized specifications;
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
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-03 paulson 2003-07-03 converted UNITY/Comp/{AllocImpl,Client} to Isar scripts
2003-02-08 paulson 2003-02-08 converting HOL/UNITY to use unconditional fairness
2001-03-05 paulson 2001-03-05 reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp