src/Tools/case_product.ML
2013-12-14 wenzelm proper context for basic Simplifier operations: rewrite_rule, rewrite_goals_rule, rewrite_goals_tac etc.;
2013-07-27 wenzelm standardized aliases;
2012-08-23 wenzelm prefer classic take_prefix/take_suffix over chop_while (cf. 0659e84bdc5f);
2011-11-06 wenzelm more explicit representation of rule_attribute vs. declaration_attribute vs. mixed_attribute;
2011-08-01 nipkow infrastructure for attaching names to hypothesis in cases; realised via the same tag mechanism as case names
2011-04-16 wenzelm modernized structure Proof_Context;
2011-03-03 wenzelm observe standard header format;
2010-12-08 noschinl introduce attribute case_prod for combining case rules
less more (0) tip