equal
deleted
inserted
replaced
34 |
34 |
35 * Compound constants INFIMUM and SUPREMUM are mere abbreviations now. |
35 * Compound constants INFIMUM and SUPREMUM are mere abbreviations now. |
36 INCOMPATIBILITY. |
36 INCOMPATIBILITY. |
37 |
37 |
38 * Class semiring_Lcd merged into semiring_Gcd. INCOMPATIBILITY. |
38 * Class semiring_Lcd merged into semiring_Gcd. INCOMPATIBILITY. |
|
39 |
|
40 * Lemma generalization: |
|
41 realpow_minus_mult ~> power_minus_mult |
|
42 realpow_Suc_le_self ~> power_Suc_le_self |
|
43 INCOMPATIBILITY. |
39 |
44 |
40 |
45 |
41 New in Isabelle2016 (February 2016) |
46 New in Isabelle2016 (February 2016) |
42 ----------------------------------- |
47 ----------------------------------- |
43 |
48 |