NEWS
changeset 54029 4edfd0fd5536
parent 54021 8089e82833b6
child 54032 67ed9e57dd03
     1.1 --- a/NEWS	Wed Oct 02 15:13:41 2013 +0200
     1.2 +++ b/NEWS	Wed Oct 02 15:53:20 2013 +0200
     1.3 @@ -156,6 +156,7 @@
     1.4    - Various improvements to BNF-based (co)datatype package, including new
     1.5      commands "primrec_new", "primcorec", and "datatype_new_compat",
     1.6      as well as documentation. See "datatypes.pdf" for details.
     1.7 +  - New "coinduction" method to avoid some boilerplate (compared to coinduct).
     1.8    - Renamed keywords:
     1.9      data ~> datatype_new
    1.10      codata ~> codatatype