NEWS
changeset 69164 74f1b0f10b2b
parent 69155 12ff5e476752
child 69166 0297b911dcbe
child 69184 431414500576
     1.1 --- a/NEWS	Sun Oct 21 08:19:06 2018 +0200
     1.2 +++ b/NEWS	Sun Oct 21 09:39:09 2018 +0200
     1.3 @@ -43,6 +43,9 @@
     1.4  and prod_mset.swap, similarly to sum.swap and prod.swap.
     1.5  INCOMPATIBILITY.
     1.6  
     1.7 +* Strong congruence rules (with =simp=> in the premises) for constant f
     1.8 +are now uniformly called f_cong_strong. 
     1.9 +
    1.10  * Sledgehammer: The URL for SystemOnTPTP, which is used by remote
    1.11  provers, has been updated.
    1.12