NEWS
changeset 65057 799bbbb3a395
parent 65056 002b4c8c366e
child 65064 a4abec71279a
     1.1 --- a/NEWS	Mon Feb 27 00:00:28 2017 +0100
     1.2 +++ b/NEWS	Mon Feb 27 17:17:26 2017 +0000
     1.3 @@ -106,7 +106,7 @@
     1.4  
     1.5  * Session HOL-Analysis: more material involving arcs, paths, covering
     1.6  spaces, innessential maps, retracts. Major results include the Jordan
     1.7 -Curve Theorem.
     1.8 +Curve Theorem and the Great Picard Theorem.
     1.9  
    1.10  * The theorem in Permutations has been renamed:
    1.11    bij_swap_ompose_bij ~> bij_swap_compose_bij