NEWS
changeset 68938 a0b19a163f5e
parent 68883 3653b3ad729e
child 69037 8d8fdbc02912
     1.1 --- a/NEWS	Fri Sep 07 23:48:19 2018 +0200
     1.2 +++ b/NEWS	Sat Sep 08 08:08:28 2018 +0000
     1.3 @@ -31,6 +31,10 @@
     1.4  * Sledgehammer: The URL for SystemOnTPTP, which is used by remote
     1.5  provers, has been updated.
     1.6  
     1.7 +* Facts sum_mset.commute and prod_mset.commute renamed to sum_mset.swap
     1.8 +and prod_mset.swap, similarly to sum.swap and prod.swap.
     1.9 +INCOMPATIBILITY.
    1.10 +
    1.11  
    1.12  *** ML ***
    1.13