2014-11-09 wenzelm 2014-11-09 proper context for match_tac etc.;
2014-11-02 wenzelm 2014-11-02 modernized header;
2013-04-18 wenzelm 2013-04-18 simplifier uses proper Proof.context instead of historic type simpset;
2013-04-10 wenzelm 2013-04-10 added ML antiquotation @{theory_context};
2012-02-14 wenzelm 2012-02-14 method setup;
2011-05-13 wenzelm 2011-05-13 proper Proof.context for classical tactics; reduced claset to snapshot of classical context; discontinued clasimpset;
2011-03-29 wenzelm 2011-03-29 tuned headers;
2010-12-03 wenzelm 2010-12-03 recoded latin1 as utf8; use textcomp for some text symbols where it appears appropriate;
2010-11-27 huffman 2010-11-27 moved directory src/HOLCF to src/HOL/HOLCF; added HOLCF theories to src/HOL/IsaMakefile;