# HG changeset patch
# User desharna
# Date 1653294213 -7200
# Node ID 7c2fe41f5ee8cde79e6d30d31b475b7ab08b0669
# Parent  ec4b514bcfadac045a73623f6c5efccd3223d45f
NEWS

diff -r ec4b514bcfad -r 7c2fe41f5ee8 NEWS
--- a/NEWS	Mon May 23 10:13:08 2022 +0200
+++ b/NEWS	Mon May 23 10:23:33 2022 +0200
@@ -58,6 +58,10 @@
     used for what is now called multp_code. Minor INCOMPATIBILITY.
   - Lifted multiple lemmas from mult to multp.
   - Redefined less_multiset to be based on multp. INCOMPATIBILITY.
+  - Added lemmas.
+      filter_mset_cong
+      filter_mset_cong0
+      image_mset_filter_mset_swap
 
 * Sledgehammer:
   - Redesigned multithreading to provide more fine grained prover schedules.