# HG changeset patch
# User wenzelm
# Date 1380726519 -7200
# Node ID 955c6549b3cb60fb9e8f4cd64c36274c5a5b068b
# Parent  67ed9e57dd030fdcf84da30a79335f3bcdf9858d
tuned;

diff -r 67ed9e57dd03 -r 955c6549b3cb NEWS
--- 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