NEWS
changeset 59815 cce82e360c2f
parent 59813 6320064f22bb
child 59835 97872c658a44
--- a/NEWS	Mon Mar 23 19:05:14 2015 +0100
+++ b/NEWS	Mon Mar 23 19:05:14 2015 +0100
@@ -90,6 +90,9 @@
 
 *** HOL ***
 
+* Type classes cancel_ab_semigroup_add / cancel_monoid_add specify
+explicit additive inverse operation.  INCOMPATIBILITY.
+
 * New proof method "rewrite" (in ~~/src/HOL/Library/Rewrite) for
   single-step rewriting with subterm selection based on patterns.