# HG changeset patch
# User desharna
# Date 1685223247 -7200
# Node ID 6f43068a71d158dec1aa5e6f9e7edb6f47be4338
# Parent  84a7a0029c82b80e82faa73b7880921c46905032
NEWS

diff -r 84a7a0029c82 -r 6f43068a71d1 NEWS
--- a/NEWS	Sat May 27 23:32:40 2023 +0200
+++ b/NEWS	Sat May 27 23:34:07 2023 +0200
@@ -223,6 +223,8 @@
     Minor INCOMPATIBILITY.
   - Redefined notin_fset as an abbreviation based on Set.not_member and
     renamed to not_fmember. Minor INCOMPATIBILITY.
+  - Redefined fBall and fBex as abbreviations based on Set.Ball and Set.Bex.
+    Minor INCOMPATIBILITY.
   - Removed lemmas. Minor INCOMPATIBILITIES.
       fmember_iff_member_fset
       notin_fset