NEWS
changeset 66801 f3fda9777f9a
parent 66789 feb36b73a7f0
child 66803 dd8922885a68
     1.1 --- a/NEWS	Sun Oct 08 22:28:19 2017 +0200
     1.2 +++ b/NEWS	Sun Oct 08 22:28:20 2017 +0200
     1.3 @@ -44,6 +44,9 @@
     1.4      higher-order quantifiers. An 'smt_explicit_application' option has been
     1.5      added to control this. INCOMPATIBILITY.
     1.6  
     1.7 +* Fact mod_mult_self4 (on nat) renamed to mod_mult_self3', to avoid clash
     1.8 +with fact mod_mult_self4 (on more generic semirings). INCOMPATIBILITY.
     1.9 +
    1.10  
    1.11  *** System ***
    1.12