src/CCL/CCL.thy
2010-04-28 wenzelm 2010-04-28 renamed command 'defaultsort' to 'default_sort';
2010-02-28 wenzelm 2010-02-28 more antiquotations; eliminated legacy ML bindings;
2009-07-24 wenzelm 2009-07-24 eliminated OldGoals.prove_goal;
2009-07-24 wenzelm 2009-07-24 explicit OldGoals;
2009-07-23 wenzelm 2009-07-23 eliminated adhoc ML code;
2009-07-23 wenzelm 2009-07-23 misc modernization: proper method setup instead of adhoc ML proofs;
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-07-15 wenzelm 2009-07-15 more antiquotations;
2008-06-16 wenzelm 2008-06-16 pervasive RuleInsts;
2008-06-14 wenzelm 2008-06-14 proper context for tactics derived from res_inst_tac;
2008-06-11 wenzelm 2008-06-11 more antiquotations;
2008-03-19 wenzelm 2008-03-19 more antiquotations;
2007-10-03 wenzelm 2007-10-03 avoid unnamed infixes; tuned;
2006-07-18 wenzelm 2006-07-18 removed obsolete ML files;
2005-09-17 wenzelm 2005-09-17 converted to Isar theory format;
1997-10-10 wenzelm 1997-10-10 fixed dots;
1996-02-05 clasohm 1996-02-05 expanded tabs
1995-06-21 clasohm 1995-06-21 removed \...\ inside strings
1994-03-17 lcp 1994-03-17 new type declaration syntax instead of numbers
1993-09-16 clasohm 1993-09-16 Initial revision