--- a/NEWS Thu Jan 26 13:59:51 2023 +0000
+++ b/NEWS Fri Jan 27 12:25:36 2023 +0100
@@ -215,6 +215,7 @@
* Theory "HOL-Library.Multiset_Order":
- Added lemmas.
irreflp_on_multpHO[simp]
+ multpHO_plus_plus[simp]
totalp_multpDM
totalp_multpHO
totalp_on_multpDM