NEWS
changeset 56212 3253aaf73a01
parent 56205 ceb8a93460b7
child 56214 d503c51e869a
     1.1 --- a/NEWS	Tue Mar 18 21:02:33 2014 +0100
     1.2 +++ b/NEWS	Tue Mar 18 22:11:46 2014 +0100
     1.3 @@ -98,8 +98,11 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Consolidated theorem names containing INFI and SUPR: have INF
     1.8 +and SUP instead uniformly.  INCOMPATIBILITY.
     1.9 +
    1.10  * More aggressive normalization of expressions involving INF and Inf
    1.11 -or SUP and Sup. INCOMPATIBILITY.
    1.12 +or SUP and Sup.  INCOMPATIBILITY.
    1.13  
    1.14  * INF_image and SUP_image do not unfold composition.
    1.15  INCOMPATIBILITY.