--- a/NEWS Wed Oct 12 14:50:24 2022 +0200
+++ b/NEWS Thu Oct 13 10:44:27 2022 +0200
@@ -31,7 +31,9 @@
wf_if_convertible_to_wf
* Theory "HOL-Library.FSet":
- - Added lemma wfP_pfsubset.
+ - Added lemmas.
+ fimage_strict_mono
+ inj_on_strict_fsubset
New in Isabelle2022 (October 2022)