# HG changeset patch
# User desharna
# Date 1712156134 -7200
# Node ID 1ca617398213b91950730676762449c747bc7be4
# Parent  6e7f266b9ac2fd727bcda2352d7ac9f77c1e5456
documented new syntax for fBall and fBex

diff -r 6e7f266b9ac2 -r 1ca617398213 NEWS
--- 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