isabelle: Changelog

blanchet [Wed, 25 Sep 2013 10:45:12 +0200] rev 53867

keep a database of free constructor type information

blanchet [Wed, 25 Sep 2013 10:26:04 +0200] rev 53866

generalized case-handling code a bit

blanchet [Wed, 25 Sep 2013 10:17:18 +0200] rev 53865

support cases for new-style (co)datatypes

blanchet [Wed, 25 Sep 2013 09:35:37 +0200] rev 53864

use case rather than sequence of ifs in expansion

blanchet [Wed, 25 Sep 2013 08:43:21 +0200] rev 53863

textual improvements following Christian Sternagel's feedback

huffman [Tue, 24 Sep 2013 15:03:51 -0700] rev 53862

generalize lemma

huffman [Tue, 24 Sep 2013 15:03:50 -0700] rev 53861

removed unused lemma

huffman [Tue, 24 Sep 2013 15:03:49 -0700] rev 53860

factor out new lemma

huffman [Tue, 24 Sep 2013 15:03:49 -0700] rev 53859

replace lemma with more general simp rule

blanchet [Tue, 24 Sep 2013 23:51:32 +0200] rev 53858

generalized tactics

isabelle