--- a/NEWS Sat Feb 18 18:10:05 2023 +0000
+++ b/NEWS Sat Feb 18 20:34:09 2023 +0100
@@ -216,6 +216,8 @@
* Theory "HOL-Library.Multiset_Order":
- Added lemmas.
+ asymp_multpHO
+ asymp_not_liftable_to_multpHO
irreflp_on_multpHO[simp]
multpHO_plus_plus[simp]
totalp_multpDM