--- a/NEWS Fri Oct 14 15:48:31 2022 +0100
+++ b/NEWS Sat Oct 15 16:34:19 2022 +0200
@@ -46,6 +46,9 @@
fimage_strict_mono
wfP_pfsubset
+* Theory "HOL-Library.Multiset":
+ - Added lemma wfP_subset_mset[simp].
+
New in Isabelle2022 (October 2022)
----------------------------------