src/CCL/Hered.thy
2016-01-01 wenzelm isabelle update_cartouches -c -t;
2015-07-23 wenzelm isabelle update_cartouches;
2014-11-11 wenzelm more symbols;
2014-11-02 wenzelm modernized header uniformly as section;
2012-05-23 wenzelm eliminated obsolete fastsimp;
2011-03-29 wenzelm modernized specifications -- less axioms;
2009-07-23 wenzelm eliminated adhoc ML code;
2009-07-23 wenzelm misc modernization: proper method setup instead of adhoc ML proofs;
2009-07-15 wenzelm more antiquotations;
2008-09-17 wenzelm back to dynamic the_context(), because static @{theory} is invalidated if ML environment changes within the same code block;
2008-06-16 wenzelm pervasive RuleInsts;
2008-06-14 wenzelm proper context for tactics derived from res_inst_tac;
2008-06-11 wenzelm more antiquotations;
2006-07-18 wenzelm removed obsolete ML files;
2005-09-17 wenzelm converted to Isar theory format;
1997-10-10 wenzelm fixed dots;
1996-02-05 clasohm expanded tabs
1995-06-21 clasohm removed \...\ inside strings
1993-09-16 clasohm Initial revision
less more (0) tip