src/HOL/UNITY/UNITY_Main.thy
2009-09-21 haftmann 2009-09-21 tuned proof; tuned headers
2009-07-23 wenzelm 2009-07-23 renamed simpset_of to global_simpset_of, and local_simpset_of to simpset_of -- same for claset and clasimpset;
2009-03-16 wenzelm 2009-03-16 simplified method setup;
2009-03-13 wenzelm 2009-03-13 unified type Proof.method and pervasive METHOD combinators;
2008-08-15 wenzelm 2008-08-15 Args.name_source(_position) for proper position information;
2007-08-03 wenzelm 2007-08-03 misc cleanup of ML bindings (for multihreading);
2006-11-29 wenzelm 2006-11-29 simplified method setup;
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