NEWS

--- a/NEWS	Tue Oct 18 17:29:28 2016 +0200
+++ b/NEWS	Tue Oct 18 18:48:53 2016 +0200
@@ -281,6 +281,10 @@
     mod_1 ~> mod_by_Suc_0
 INCOMPATIBILITY.
 
+* New type class "idom_abs_sgn" specifies algebraic properties
+of sign and absolute value functions.  Type class "sgn_if" has
+disappeared.  Slight INCOMPATIBILITY.
+
 * Dedicated syntax LENGTH('a) for length of types.
 
 * New proof method "argo" using the built-in Argo solver based on SMT