--- a/NEWS Wed Oct 12 14:37:03 2022 +0200
+++ b/NEWS Wed Oct 12 14:50:24 2022 +0200
@@ -30,6 +30,9 @@
wfP_if_convertible_to_wfP
wf_if_convertible_to_wf
+* Theory "HOL-Library.FSet":
+ - Added lemma wfP_pfsubset.
+
New in Isabelle2022 (October 2022)
----------------------------------