NEWS
changeset 66650 bcea02893d17
parent 66643 f7e38b8583a0
child 66651 435cb8d69e27
child 66665 ec78c84bfc44
     1.1 --- a/NEWS	Fri Sep 08 19:35:07 2017 +0200
     1.2 +++ b/NEWS	Fri Sep 08 19:55:18 2017 +0200
     1.3 @@ -254,9 +254,9 @@
     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, infinite products, simplicial complexes.
     1.8 -Baire Category theorem. Major results include the Jordan Curve Theorem and the Great Picard
     1.9 -Theorem.
    1.10 +spaces, innessential maps, retracts, infinite products, simplicial
    1.11 +complexes. Baire Category theorem. Major results include the Jordan
    1.12 +Curve Theorem and the Great Picard Theorem.
    1.13  
    1.14  * Session HOL-Algebra has been extended by additional lattice theory:
    1.15  the Knaster-Tarski fixed point theorem and Galois Connections.