summary |
shortlog |
changelog |
graph |
tags |
branches |
files |
changeset |
file |
revisions |
annotate |
diff |
raw

NEWS

changeset 66641 | ff2e0115fea4 |

parent 66614 | 1f1c5d85d232 |

child 66643 | f7e38b8583a0 |

1.1 --- a/NEWS Fri Sep 08 11:09:56 2017 +0200 1.2 +++ b/NEWS Fri Sep 08 12:49:40 2017 +0100 1.3 @@ -254,8 +254,8 @@ 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, material on infinite products. 1.8 -Major results include the Jordan Curve Theorem and the Great Picard 1.9 +spaces, innessential maps, retracts, infinite products, simplicial complexes. 1.10 +Baire Category theory. Major results include the Jordan Curve Theorem and the Great Picard 1.11 Theorem. 1.12 1.13 * Session HOL-Algebra has been extended by additional lattice theory: