isabelle: Changelog

blanchet [Thu, 19 Sep 2013 03:29:33 +0200] rev 53731

added auxiliary function

blanchet [Thu, 19 Sep 2013 03:13:13 +0200] rev 53730

avoid parameter

blanchet [Thu, 19 Sep 2013 02:30:45 +0200] rev 53729

added helper function for code equations in primcorec

blanchet [Thu, 19 Sep 2013 01:15:26 +0200] rev 53728

updated NEWS and CONTRIBUTORS

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

split functionality into two functions to avoid redoing work over and over

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)

isabelle