NEWS
changeset 54033 955c6549b3cb
parent 54032 67ed9e57dd03
child 54049 566b769c3477
     1.1 --- a/NEWS	Wed Oct 02 16:56:02 2013 +0200
     1.2 +++ b/NEWS	Wed Oct 02 17:08:39 2013 +0200
     1.3 @@ -395,7 +395,7 @@
     1.4  ~~/src/HOL/Library/Polynomial instead.  The latter provides
     1.5  integration with HOL's type classes for rings.  INCOMPATIBILITY.
     1.6  
     1.7 -* HOL/BNF:
     1.8 +* HOL-BNF:
     1.9    - Various improvements to BNF-based (co)datatype package, including
    1.10      new commands "primrec_new", "primcorec", and
    1.11      "datatype_new_compat", as well as documentation. See