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.