NEWS
changeset 66641 ff2e0115fea4
parent 66614 1f1c5d85d232
child 66643 f7e38b8583a0
     1.1 --- a/NEWS	Fri Sep 08 11:09:56 2017 +0200
     1.2 +++ b/NEWS	Fri Sep 08 12:49:40 2017 +0100
     1.3 @@ -254,8 +254,8 @@
     1.4  * Theory "HOL-Library.Uprod" formalizes the type of unordered pairs.
     1.5  
     1.6  * Session HOL-Analysis: more material involving arcs, paths, covering
     1.7 -spaces, innessential maps, retracts, material on infinite products.
     1.8 -Major results include the Jordan Curve Theorem and the Great Picard
     1.9 +spaces, innessential maps, retracts, infinite products, simplicial complexes.
    1.10 +Baire Category theory. Major results include the Jordan Curve Theorem and the Great Picard
    1.11  Theorem.
    1.12  
    1.13  * Session HOL-Algebra has been extended by additional lattice theory: