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