--- a/NEWS Thu Jan 31 09:30:15 2019 +0100
+++ b/NEWS Thu Jan 31 13:08:59 2019 +0000
@@ -104,6 +104,11 @@
* Code generation: slightly more conventional syntax for
'code_stmts' antiquotation. Minor INCOMPATIBILITY.
+* The simplifier uses image_cong_simp as a congruence rule. The historic
+and not really well-formed congruence rules INF_cong*, SUP_cong*,
+are not used by default any longer. INCOMPATIBILITY; consider using
+declare image_cong_simp [cong del] in extreme situations.
+
* Simplified syntax setup for big operators under image. In rare
situations, type conversions are not inserted implicitly any longer
and need to be given explicitly. Auxiliary abbreviations INFIMUM,