changeset 62347 | 2230b7047376 |
parent 62345 | e66d7841d5a2 |
child 62348 | 9a5f43dac883 |
--- a/NEWS Wed Feb 17 21:51:56 2016 +0100 +++ b/NEWS Wed Feb 17 21:51:57 2016 +0100 @@ -37,6 +37,11 @@ * Class semiring_Lcd merged into semiring_Gcd. INCOMPATIBILITY. +* Lemma generalization: + realpow_minus_mult ~> power_minus_mult + realpow_Suc_le_self ~> power_Suc_le_self +INCOMPATIBILITY. + New in Isabelle2016 (February 2016) -----------------------------------