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