| changeset 62343 | 24106dc44def |
| parent 62335 | e85c42f4f30a |
| child 62345 | e66d7841d5a2 |
--- a/NEWS Wed Feb 17 21:51:55 2016 +0100 +++ b/NEWS Wed Feb 17 21:51:56 2016 +0100 @@ -32,6 +32,9 @@ pred_prod_apply ~> pred_prod_inject INCOMPATIBILITY. +* Compound constants INFIMUM and SUPREMUM are mere abbreviations now. +INCOMPATIBILITY. + New in Isabelle2016 (February 2016) -----------------------------------