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