tuned whitespace;
authorwenzelm
Sun Jan 15 15:48:26 2017 +0100 (2017-01-15)
changeset 6489849aa13b1b592
parent 64897 c3320dc731c7
child 64899 749d3a86c6a3
tuned whitespace;
NEWS
     1.1 --- a/NEWS	Sun Jan 15 12:59:40 2017 +0100
     1.2 +++ b/NEWS	Sun Jan 15 15:48:26 2017 +0100
     1.3 @@ -71,8 +71,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 +* Session HOL-Analysis: more material involving arcs, paths, covering
    1.10 +spaces, innessential maps, retracts. Major results include the Jordan
    1.11 +Curve Theorem.
    1.12  
    1.13  * The theorem in Permutations has been renamed:
    1.14    bij_swap_ompose_bij ~> bij_swap_compose_bij