diff -r 4d087a8950f3 -r 4edfd0fd5536 NEWS
--- a/NEWS	Wed Oct 02 15:13:41 2013 +0200
+++ b/NEWS	Wed Oct 02 15:53:20 2013 +0200
@@ -156,6 +156,7 @@
   - Various improvements to BNF-based (co)datatype package, including new
     commands "primrec_new", "primcorec", and "datatype_new_compat",
     as well as documentation. See "datatypes.pdf" for details.
+  - New "coinduction" method to avoid some boilerplate (compared to coinduct).
   - Renamed keywords:
     data ~> datatype_new
     codata ~> codatatype