| changeset 51316 | dfe469293eb4 |
| parent 51313 | 102a0a0718c5 |
| child 51382 | 51957d006677 |
--- 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 ***