--- a/NEWS Thu Apr 11 17:07:52 2019 +0200
+++ b/NEWS Thu Apr 11 16:49:55 2019 +0100
@@ -254,10 +254,14 @@
* Session HOL-Number_Theory: More material on residue rings in
Carmichael's function, primitive roots, more properties for "ord".
-* Session HOL-Analysis: Better organization and much more material,
-including algebraic topology.
-
-* Session HOL-Algebra: Much more material on group theory.
+* Session HOL-Homology: New, a port of HOL Light's homology library,
+with new proofs of "invariance of domain" and related results.
+
+* 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-SPARK: .prv files are no longer written to the
file-system, but exported to the session database. Results may be