isabelle: File revisions

src/Tools/case_product.ML

Sat, 14 Dec 2013 17:28:05 +0100	wenzelm	proper context for basic Simplifier operations: rewrite_rule, rewrite_goals_rule, rewrite_goals_tac etc.;	file \| diff \| annotate
Sat, 27 Jul 2013 16:35:51 +0200	wenzelm	standardized aliases;	file \| diff \| annotate
Thu, 23 Aug 2012 13:03:29 +0200	wenzelm	prefer classic take_prefix/take_suffix over chop_while (cf. 0659e84bdc5f);	file \| diff \| annotate
Sun, 06 Nov 2011 21:51:46 +0100	wenzelm	more explicit representation of rule_attribute vs. declaration_attribute vs. mixed_attribute;	file \| diff \| annotate
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	file \| diff \| annotate
Sat, 16 Apr 2011 16:15:37 +0200	wenzelm	modernized structure Proof_Context;	file \| diff \| annotate
Thu, 03 Mar 2011 15:36:54 +0100	wenzelm	observe standard header format;	file \| diff \| annotate
Wed, 08 Dec 2010 18:18:36 +0100	noschinl	introduce attribute case_prod for combining case rules	file \| diff \| annotate

isabelle