--- a/NEWS Sun Apr 14 12:00:17 2019 +0100
+++ b/NEWS Sun Apr 14 13:32:26 2019 +0100
@@ -268,8 +268,8 @@
* Session HOL-Analysis: Better organization and much more material
at the level of abstract topological spaces.
-* Session HOL-Algebra: Much more material on group theory, mostly ported
-from HOL Light.
+* Session HOL-Algebra: Free abelian groups, etc., ported from HOL Light;
+proofs towards algebraic closure by de Vilhena and Baillon.
* Session HOL-SPARK: .prv files are no longer written to the
file-system, but exported to the session database. Results may be