src/HOL/HOLCF/Tools/fixrec.ML
2014-08-16 wenzelm 2014-08-16 clarified order of rules for match_tac/resolve_tac;
2014-08-16 wenzelm 2014-08-16 prefer 'named_theorems' over Named_Thms, with subtle change of semantics due to visual order vs. internal reverse order;
2013-04-18 wenzelm 2013-04-18 simplifier uses proper Proof.context instead of historic type simpset;
2012-04-12 wenzelm 2012-04-12 more standard method setup;
2012-03-23 wenzelm 2012-03-23 tuned;
2012-03-16 wenzelm 2012-03-16 outer syntax command definitions based on formal command_spec derived from theory header declarations;
2012-03-15 wenzelm 2012-03-15 prefer formally checked @{keyword} parser;
2012-03-13 wenzelm 2012-03-13 more explicit indication of def names;
2012-03-13 wenzelm 2012-03-13 tuned strip_alls;
2011-12-16 wenzelm 2011-12-16 clarified modules that contribute to datatype package;
2011-12-08 huffman 2011-12-08 more error checking for fixrec
2011-11-19 wenzelm 2011-11-19 added ML antiquotation @{attributes};
2011-08-08 huffman 2011-08-08 HOLCF: fix warnings about unreferenced identifiers
2011-06-09 wenzelm 2011-06-09 discontinued Name.variant to emphasize that this is old-style / indirect;
2011-04-16 wenzelm 2011-04-16 modernized structure Proof_Context;
2011-03-29 wenzelm 2011-03-29 tuned headers;
2010-12-19 huffman 2010-12-19 switch to transparent ascription, to avoid warning messages
2010-11-30 huffman 2010-11-30 remove gratuitous semicolons from ML code
2010-11-27 huffman 2010-11-27 moved directory src/HOLCF to src/HOL/HOLCF; added HOLCF theories to src/HOL/IsaMakefile;