changeset 73869 | 7181130f5872 |
parent 73846 | 9447668d1b77 |
child 73876 | e6c9c1c3f580 |
--- a/NEWS Wed Jun 23 17:43:31 2021 +0000 +++ b/NEWS Wed Jun 23 17:43:31 2021 +0000 @@ -175,6 +175,10 @@ "setBit", "clearBit". See there further the changelog in theory Guide. INCOMPATIBILITY. +* New simp rules: less_exp, min.absorb1, min.absorb2, min.absorb3, +min.absorb4, max.absorb1, max.absorb2, max.absorb3, max.absorb4. Minor +INCOMPATIBILITY. + *** ML ***