--- a/NEWS Mon Jan 23 13:31:07 2023 +0100
+++ b/NEWS Mon Jan 23 14:34:07 2023 +0100
@@ -202,6 +202,10 @@
multeqp_code_iff_reflclp_multp
multp_code_iff_multp
multp_mono_strong
+ total_mult
+ total_on_mult
+ totalp_multp
+ totalp_on_multp
wfP_subset_mset[simp]
* Mirabelle: