1.1 --- a/CONTRIBUTORS	Wed Oct 02 15:13:41 2013 +0200
     1.2 +++ b/CONTRIBUTORS	Wed Oct 02 15:53:20 2013 +0200
     1.3 @@ -9,6 +9,9 @@
     1.4  * September 2013: Nik Sultana, University of Cambridge
     1.5    Improvements to HOL/TPTP parser and import facilities.
     1.6  
     1.7 +* September 2013: Johannes Hölzl and Dmitriy Traytel, TUM
     1.8 +  New "coinduction" method (residing in HOL-BNF) to avoid boilerplate.
     1.9 +
    1.10  * Summer 2013: Makarius Wenzel, Université Paris-Sud / LRI
    1.11    Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
    1.12  

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