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-02-08 paulson 2003-02-08 converting HOL/UNITY to use unconditional fairness
2003-01-24 paulson 2003-01-24 More conversion of UNITY to Isar new-style theories
2001-03-05 paulson 2001-03-05 reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp