NEWS
authordesharna
Mon, 23 May 2022 10:23:33 +0200
changeset 75954 7c2fe41f5ee8
parent 75953 ec4b514bcfad
child 75955 4c3bc0d2568f
NEWS
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.