src/CCL/Hered.thy
2012-05-23 wenzelm 2012-05-23 eliminated obsolete fastsimp;
2011-03-29 wenzelm 2011-03-29 modernized specifications -- less axioms;
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-15 wenzelm 2009-07-15 more antiquotations;
2008-09-17 wenzelm 2008-09-17 back to dynamic the_context(), because static @{theory} is invalidated if ML environment changes within the same code block;
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;
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
1993-09-16 clasohm 1993-09-16 Initial revision