--- a/NEWS Mon Apr 08 15:26:54 2019 +0100
+++ b/NEWS Mon Apr 08 20:37:03 2019 +0100
@@ -233,7 +233,10 @@
* Session HOL-Number_Theory: More material on residue rings in
Carmichael's function, primitive roots, more properties for "ord".
-* Session HOL-Analysis: More material and better organization.
+* Session HOL-Analysis: Better organization and much more material,
+including algebraic topology.
+
+* Session HOL-Algebra: Much more material on group theory.
* Session HOL-SPARK: .prv files are no longer written to the
file-system, but exported to the session database. Results may be