NEWS
changeset 56218 1c3f1f2431f9
parent 56214 d503c51e869a
child 56232 31e283f606e2
     1.1 --- a/NEWS	Wed Mar 19 17:06:02 2014 +0000
     1.2 +++ b/NEWS	Wed Mar 19 18:47:22 2014 +0100
     1.3 @@ -98,6 +98,9 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Elongated constants INFI and SUPR to INFIMUM and SUPREMUM.
     1.8 +INCOMPATIBILITY.
     1.9 +
    1.10  * Consolidated theorem names containing INFI and SUPR: have INF
    1.11  and SUP instead uniformly.  INCOMPATIBILITY.
    1.12