src/HOL/SET_Protocol/Message_SET.thy
2015-03-23 wenzelm 2015-03-23 support 'for' fixes in rule_tac etc.;
2015-03-20 wenzelm 2015-03-20 tuned signature;
2015-03-19 wenzelm 2015-03-19 more position information;
2015-02-10 wenzelm 2015-02-10 proper context for resolve_tac, eresolve_tac, dresolve_tac, forward_tac etc.; occasionally clarified use of context;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-11-01 wenzelm 2014-11-01 eliminated spurious semicolons;
2014-09-11 blanchet 2014-09-11 updated news
2014-09-11 blanchet 2014-09-11 renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new'
2014-02-12 blanchet 2014-02-12 adapted theories to 'xxx_case' to 'case_xxx' * * * 'char_case' -> 'case_char' and same for 'rec' * * * compile * * * renamed 'xxx_case' to 'case_xxx'
2013-04-18 wenzelm 2013-04-18 simplifier uses proper Proof.context instead of historic type simpset;
2013-04-12 wenzelm 2013-04-12 removed historic comments;
2011-11-20 wenzelm 2011-11-20 eliminated obsolete "standard";
2011-05-13 wenzelm 2011-05-13 proper Proof.context for classical tactics; reduced claset to snapshot of classical context; discontinued clasimpset;
2011-04-26 wenzelm 2011-04-26 simplified/modernized method setup;
2011-04-23 wenzelm 2011-04-23 modernized specifications;
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2010-05-12 wenzelm 2010-05-12 modernized specifications;
2010-03-10 huffman 2010-03-10 convert SET_Protocol to use Nat_Bijection library
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2010-02-10 wenzelm 2010-02-10 modernized translations;
2009-10-20 wenzelm 2009-10-20 modernized session SET_Protocol;