author | desharna |
Mon, 23 May 2022 10:23:33 +0200 | |
changeset 75460 | 7c2fe41f5ee8 |
parent 75459 | ec4b514bcfad |
child 75461 | 4c3bc0d2568f |
--- 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.