NEWS

--- a/NEWS	Fri Jul 08 23:43:11 2016 +0200
+++ b/NEWS	Fri Jul 08 23:43:11 2016 +0200
@@ -150,6 +150,9 @@
 equations in functional programming style: variables present on the
 left-hand but not on the righ-hand side are replaced by underscores.
 
+* "surj" is a mere input abbreviation, to avoid hiding an equation in
+term output.  Minor INCOMPATIBILITY.
+
 * Theory Library/Combinator_PER.thy: combinator to build partial
 equivalence relations from a predicate and an equivalence relation.