NEWS

--- a/NEWS	Mon May 12 17:17:32 2014 +0200
+++ b/NEWS	Tue May 13 09:21:22 2014 +0200
@@ -291,7 +291,7 @@
   New theories:
     Wellorder_Extension.thy (split from Zorn.thy)
     Library/Cardinal_Notations.thy
-    Library/BNF_Decl.thy
+    Library/BNF_Axomatization.thy
     BNF_Examples/Misc_Primcorec.thy
     BNF_Examples/Stream_Processor.thy
   Discontinued theories: