NEWS

--- a/NEWS	Wed Nov 11 09:06:30 2015 +0100
+++ b/NEWS	Wed Nov 11 09:21:56 2015 +0100
@@ -462,6 +462,10 @@
 than the former separate constants, hence infix syntax (_ / _) is usually
 not available during instantiation.
 
+* New cancellation simprocs for boolean algebras to cancel
+complementary terms for sup and inf. For example, "sup x (sup y (- x))"
+simplifies to "top". INCOMPATIBILITY.
+
 * Library/Multiset:
   - Renamed multiset inclusion operators:
       < ~> <#