--- a/NEWS Fri Sep 08 19:35:07 2017 +0200
+++ b/NEWS Fri Sep 08 19:55:18 2017 +0200
@@ -254,9 +254,9 @@
* Theory "HOL-Library.Uprod" formalizes the type of unordered pairs.
* Session HOL-Analysis: more material involving arcs, paths, covering
-spaces, innessential maps, retracts, infinite products, simplicial complexes.
-Baire Category theorem. Major results include the Jordan Curve Theorem and the Great Picard
-Theorem.
+spaces, innessential maps, retracts, infinite products, simplicial
+complexes. Baire Category theorem. Major results include the Jordan
+Curve Theorem and the Great Picard Theorem.
* Session HOL-Algebra has been extended by additional lattice theory:
the Knaster-Tarski fixed point theorem and Galois Connections.