diff -r 231e261fd6bc -r ddfd021884b4 NEWS
--- a/NEWS	Sat May 28 23:55:41 2016 +0200
+++ b/NEWS	Sun May 29 15:40:25 2016 +0200
@@ -66,14 +66,14 @@
 
 *** Isar ***
 
-* Many specification elements support structured statements with 'if'
-eigen-context, e.g. 'axiomatization', 'definition', 'inductive',
-'function'.
-
 * Command 'axiomatization' has become more restrictive to correspond
 better to internal axioms as singleton facts with mandatory name. Minor
 INCOMPATIBILITY.
 
+* Many specification elements support structured statements with 'if' /
+'for' eigen-context, e.g. 'axiomatization', 'abbreviation',
+'definition', 'inductive', 'function'.
+
 * Toplevel theorem statements support eigen-context notation with 'if' /
 'for' (in postix), which corresponds to 'assumes' / 'fixes' in the
 traditional long statement form (in prefix). Local premises are called