--- a/NEWS Fri Sep 08 11:09:56 2017 +0200
+++ b/NEWS Fri Sep 08 12:49:40 2017 +0100
@@ -254,8 +254,8 @@
* Theory "HOL-Library.Uprod" formalizes the type of unordered pairs.
* Session HOL-Analysis: more material involving arcs, paths, covering
-spaces, innessential maps, retracts, material on infinite products.
-Major results include the Jordan Curve Theorem and the Great Picard
+spaces, innessential maps, retracts, infinite products, simplicial complexes.
+Baire Category theory. Major results include the Jordan Curve Theorem and the Great Picard
Theorem.
* Session HOL-Algebra has been extended by additional lattice theory: