diff -r 536a5603a138 -r dfe469293eb4 NEWS
--- a/NEWS	Thu Feb 28 17:14:55 2013 +0100
+++ b/NEWS	Thu Feb 28 17:38:35 2013 +0100
@@ -20,6 +20,9 @@
 legacy since Isabelle2009-2.  INCOMPATIBILITY, use 'axiomatization'
 instead, while observing its uniform scope for polymorphism.
 
+* Discontinued empty name bindings in 'axiomatization'.
+INCOMPATIBILITY.
+
 
 *** HOL ***