changeset 62345 | e66d7841d5a2 |
parent 62343 | 24106dc44def |
child 62347 | 2230b7047376 |
--- a/NEWS Wed Feb 17 21:51:56 2016 +0100 +++ b/NEWS Wed Feb 17 21:51:56 2016 +0100 @@ -35,6 +35,8 @@ * Compound constants INFIMUM and SUPREMUM are mere abbreviations now. INCOMPATIBILITY. +* Class semiring_Lcd merged into semiring_Gcd. INCOMPATIBILITY. + New in Isabelle2016 (February 2016) -----------------------------------