minor textual changes
authorblanchet
Tue Oct 01 14:29:27 2013 +0200 (2013-10-01)
changeset 540105ac1495fed4e
parent 54009 f138452e8265
child 54011 427b77238746
minor textual changes
CONTRIBUTORS
NEWS
     1.1 --- a/CONTRIBUTORS	Tue Oct 01 14:13:24 2013 +0200
     1.2 +++ b/CONTRIBUTORS	Tue Oct 01 14:29:27 2013 +0200
     1.3 @@ -19,8 +19,7 @@
     1.4  * Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and
     1.5    Jasmin Blanchette, TUM
     1.6    Various improvements to BNF-based (co)datatype package, including
     1.7 -  "primrec_new" and "primcorecursive" commands and a compatibility
     1.8 -  layer.
     1.9 +  "primrec_new" and "primcorec" commands and a compatibility layer.
    1.10  
    1.11  * Summer 2013: Daniel K├╝hlwein, ICIS, Radboud University Nijmegen
    1.12    Jasmin Blanchette, TUM
     2.1 --- a/NEWS	Tue Oct 01 14:13:24 2013 +0200
     2.2 +++ b/NEWS	Tue Oct 01 14:29:27 2013 +0200
     2.3 @@ -154,7 +154,7 @@
     2.4  
     2.5  * HOL/BNF:
     2.6    - Various improvements to BNF-based (co)datatype package, including new
     2.7 -    commands "primrec_new", "primcorecursive", and "datatype_new_compat",
     2.8 +    commands "primrec_new", "primcorec", and "datatype_new_compat",
     2.9      as well as documentation. See "datatypes.pdf" for details.
    2.10    - Renamed keywords:
    2.11      data ~> datatype_new