NEWS

--- a/NEWS	Sun Jul 09 16:38:00 2023 +0100
+++ b/NEWS	Mon Jul 10 10:35:38 2023 +0100
@@ -322,7 +322,7 @@
 
 * Session "HOL-Analysis":
   - Imported the HOL Light abstract metric space library and numerous
-    associated topological developments.
+    results in abstract topology (1200+ lemmas).
   - New material on infinite sums and integration, due to Manuel Eberl
     and Wenda Li.