| changeset 67051 | e7e54a0b9197 |
| parent 67043 | 848672fcaee5 |
| child 67069 | f11486d31586 |
--- a/NEWS Sat Nov 11 18:33:35 2017 +0000 +++ b/NEWS Sat Nov 11 18:41:08 2017 +0000 @@ -89,7 +89,10 @@ * Class linordered_semiring_1 covers zero_less_one also, ruling out pathologic instances. Minor INCOMPATIBILITY. -* Removed nat-int transfer machinery. Rare INCOMPATIBILITY. +* Removed nat-int transfer machinery. Rare INCOMPATIBILITY. + +* Predicate coprime is now a real definition, not a mere +abbreviation. INCOMPATIBILITY. *** System ***