NEWS
changeset 56248 67dc9549fa15
parent 56245 84fc7dfa3cd4
child 56265 785569927666
     1.1 --- a/NEWS	Fri Mar 21 22:54:16 2014 +0100
     1.2 +++ b/NEWS	Sat Mar 22 08:37:43 2014 +0100
     1.3 @@ -138,6 +138,10 @@
     1.4  * Elongated constants INFI and SUPR to INFIMUM and SUPREMUM.
     1.5  INCOMPATIBILITY.
     1.6  
     1.7 +* Default congruence rules strong_INF_cong and strong_SUP_cong,
     1.8 +with simplifier implication in premises.  Generalized and replace
     1.9 +former INT_cong, SUP_cong.  INCOMPATIBILITY.
    1.10 +
    1.11  * Consolidated theorem names containing INFI and SUPR: have INF
    1.12  and SUP instead uniformly.  INCOMPATIBILITY.
    1.13