--- a/NEWS Wed Apr 03 11:35:06 2024 +0200
+++ b/NEWS Wed Apr 03 16:55:34 2024 +0200
@@ -138,6 +138,9 @@
wfp_on_subset
wfp_on_wf_on_eq
+* Theory "HOL-Library.FSet":
+ - Added syntax for fBall and fBex.
+
* Theory "HOL-Library.Multiset":
- Added lemmas.
trans_on_mult