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

NEWS

changeset 68465 | 3d8241f4198b |

parent 68450 | 41de07c7a0f3 |

child 68470 | aad109fde9ec |

1.1 --- a/NEWS Mon Jun 18 14:22:26 2018 +0100 1.2 +++ b/NEWS Mon Jun 18 15:56:03 2018 +0100 1.3 @@ -375,6 +375,10 @@ 1.4 * Session HOL-Algebra: renamed (^) to [^] to avoid conflict with new 1.5 infix/prefix notation. 1.6 1.7 +* Session HOL-Algebra: Revamped with much new material. 1.8 +The set of isomorphisms between two groups is now denoted iso rather than iso_set. 1.9 +INCOMPATIBILITY. 1.10 + 1.11 * Session HOL-Analysis: infinite products, Moebius functions, the 1.12 Riemann mapping theorem, the Vitali covering theorem, 1.13 change-of-variables results for integration and measures.