isabelle: Changelog

blanchet [Thu, 19 Sep 2013 01:09:25 +0200] rev 53726

added massaging function for primcorec code equations

blanchet [Thu, 19 Sep 2013 01:09:25 +0200] rev 53725

simplified code

blanchet [Thu, 19 Sep 2013 01:09:25 +0200] rev 53724

no need for beta-eta contraction

blanchet [Thu, 19 Sep 2013 01:09:25 +0200] rev 53723

generalize helper function

panny [Thu, 19 Sep 2013 00:32:33 +0200] rev 53722

generate more theorems (e.g. for types with only one constructor)

traytel [Wed, 18 Sep 2013 18:11:32 +0200] rev 53721

added two functions to List (one contributed by Manuel Eberl)

panny [Wed, 18 Sep 2013 22:59:11 +0200] rev 53720

generate constructor view theorems

wenzelm [Wed, 18 Sep 2013 20:54:46 +0200] rev 53719

merged;

wenzelm [Wed, 18 Sep 2013 20:33:36 +0200] rev 53718

merged;

wenzelm [Wed, 18 Sep 2013 20:32:49 +0200] rev 53717

tuned proofs;

isabelle