NEWS
changeset 62343 24106dc44def
parent 62335 e85c42f4f30a
child 62345 e66d7841d5a2
     1.1 --- a/NEWS	Wed Feb 17 17:08:36 2016 +0100
     1.2 +++ b/NEWS	Wed Feb 17 21:51:56 2016 +0100
     1.3 @@ -32,6 +32,9 @@
     1.4        pred_prod_apply ~> pred_prod_inject
     1.5      INCOMPATIBILITY.
     1.6  
     1.7 +* Compound constants INFIMUM and SUPREMUM are mere abbreviations now.
     1.8 +INCOMPATIBILITY.
     1.9 +
    1.10  
    1.11  New in Isabelle2016 (February 2016)
    1.12  -----------------------------------