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

NEWS

changeset 66650 | bcea02893d17 |

parent 66643 | f7e38b8583a0 |

child 66651 | 435cb8d69e27 |

child 66665 | ec78c84bfc44 |

1.1 --- a/NEWS Fri Sep 08 19:35:07 2017 +0200 1.2 +++ b/NEWS Fri Sep 08 19:55:18 2017 +0200 1.3 @@ -254,9 +254,9 @@ 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, infinite products, simplicial complexes. 1.8 -Baire Category theorem. Major results include the Jordan Curve Theorem and the Great Picard 1.9 -Theorem. 1.10 +spaces, innessential maps, retracts, infinite products, simplicial 1.11 +complexes. Baire Category theorem. Major results include the Jordan 1.12 +Curve Theorem and the Great Picard Theorem. 1.13 1.14 * Session HOL-Algebra has been extended by additional lattice theory: 1.15 the Knaster-Tarski fixed point theorem and Galois Connections.