isabelle: Changelog

blanchet [Thu, 19 Sep 2013 18:59:28 +0200] rev 53738

updated NEWS

haftmann [Thu, 19 Sep 2013 18:03:54 +0200] rev 53737

dropped dead code

traytel [Thu, 19 Sep 2013 17:38:03 +0200] rev 53736

don't declare ctr view primcorec theorems as simp (they loop)

panny [Thu, 19 Sep 2013 16:12:43 +0200] rev 53735

simplified code; eliminated some dummyTs

blanchet [Thu, 19 Sep 2013 12:20:12 +0200] rev 53734

avoid infinite loop for unapplied terms + tuning

blanchet [Thu, 19 Sep 2013 11:27:32 +0200] rev 53733

generalize code to handle zero-argument case gracefully (e.g. for nullay functions defined over codatatypes that corecurse through "fun"

blanchet [Thu, 19 Sep 2013 11:27:30 +0200] rev 53732

give lambda abstractions a chance, as an alternative to function composition, for corecursion via "fun"

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

isabelle