NEWS
changeset 54010 5ac1495fed4e
parent 53983 2fa984b202ae
child 54021 8089e82833b6
     1.1 --- a/NEWS	Tue Oct 01 14:13:24 2013 +0200
     1.2 +++ b/NEWS	Tue Oct 01 14:29:27 2013 +0200
     1.3 @@ -154,7 +154,7 @@
     1.4  
     1.5  * HOL/BNF:
     1.6    - Various improvements to BNF-based (co)datatype package, including new
     1.7 -    commands "primrec_new", "primcorecursive", and "datatype_new_compat",
     1.8 +    commands "primrec_new", "primcorec", and "datatype_new_compat",
     1.9      as well as documentation. See "datatypes.pdf" for details.
    1.10    - Renamed keywords:
    1.11      data ~> datatype_new