tuned;

--- a/NEWS	Wed Oct 02 16:56:02 2013 +0200
+++ b/NEWS	Wed Oct 02 17:08:39 2013 +0200
@@ -395,7 +395,7 @@
 ~~/src/HOL/Library/Polynomial instead.  The latter provides
 integration with HOL's type classes for rings.  INCOMPATIBILITY.
 
-* HOL/BNF:
+* HOL-BNF:
   - Various improvements to BNF-based (co)datatype package, including
     new commands "primrec_new", "primcorec", and
     "datatype_new_compat", as well as documentation. See