changeset 66803 | dd8922885a68 |
parent 66801 | f3fda9777f9a |
child 66804 | 3f9bb52082c4 |
--- a/NEWS Sun Oct 08 22:28:20 2017 +0200 +++ b/NEWS Sun Oct 08 22:28:20 2017 +0200 @@ -47,6 +47,9 @@ * Fact mod_mult_self4 (on nat) renamed to mod_mult_self3', to avoid clash with fact mod_mult_self4 (on more generic semirings). INCOMPATIBILITY. +* Predicate pairwise_coprime abolished, use "pairwise coprime" instead. +INCOMPATIBILITY. + *** System ***