src/HOL/UNITY/UNITY_Main.thy
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-07-11 wenzelm 2004-07-11 local_cla/simpset_of;
2003-03-10 paulson 2003-03-10 New theory ProgressSets. Definition of closure sets
2003-03-06 paulson 2003-03-06 new UNITY examples theory
2003-01-31 paulson 2003-01-31 conversion to new-style theories and tidying
2003-01-24 paulson 2003-01-24 More conversion of UNITY to Isar new-style theories