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