NEWS
changeset 64846 de4e3df6693d
parent 64844 bb70dc05cd38
child 64867 e7220f4de11f
     1.1 --- a/NEWS	Mon Jan 09 14:00:13 2017 +0000
     1.2 +++ b/NEWS	Mon Jan 09 14:40:31 2017 +0000
     1.3 @@ -65,6 +65,9 @@
     1.4      with type class annotations. As a result, the tactic that derives
     1.5      it no longer fails on nested datatypes. Slight INCOMPATIBILITY.
     1.6  
     1.7 +* Session HOL-Analysis: more material involving arcs, paths, covering spaces,
     1.8 +innessential maps, retracts. Major results include the Jordan Curve Theorem.
     1.9 +
    1.10  * The theorem in Permutations has been renamed:
    1.11    bij_swap_ompose_bij ~> bij_swap_compose_bij
    1.12