src/Tools/case_product.ML
Thu, 23 Aug 2012 13:03:29 +0200 wenzelm prefer classic take_prefix/take_suffix over chop_while (cf. 0659e84bdc5f);
Sun, 06 Nov 2011 21:51:46 +0100 wenzelm more explicit representation of rule_attribute vs. declaration_attribute vs. mixed_attribute;
Mon, 01 Aug 2011 12:08:53 +0200 nipkow infrastructure for attaching names to hypothesis in cases; realised via the same tag mechanism as case names
Sat, 16 Apr 2011 16:15:37 +0200 wenzelm modernized structure Proof_Context;
Thu, 03 Mar 2011 15:36:54 +0100 wenzelm observe standard header format;
Wed, 08 Dec 2010 18:18:36 +0100 noschinl introduce attribute case_prod for combining case rules
less more (0) tip