NEWS
changeset 67341 df79ef3b3a41
parent 67335 641d7da6ff96
child 67352 5f7f339f3d7e
     1.1 --- a/NEWS	Fri Jan 05 15:24:57 2018 +0100
     1.2 +++ b/NEWS	Fri Jan 05 18:41:42 2018 +0100
     1.3 @@ -166,6 +166,8 @@
     1.4  * Predicate pairwise_coprime abolished, use "pairwise coprime" instead.
     1.5  INCOMPATIBILITY.
     1.6  
     1.7 +* HOL-Algebra: renamed (^) to [^]
     1.8 +
     1.9  * Session HOL-Analysis: Moebius functions and the Riemann mapping
    1.10  theorem.
    1.11