equal
deleted
inserted
replaced
132 coprime_dvd_mult_iff_int ~> coprime_dvd_mult_iff |
132 coprime_dvd_mult_iff_int ~> coprime_dvd_mult_iff |
133 realpow_minus_mult ~> power_minus_mult |
133 realpow_minus_mult ~> power_minus_mult |
134 realpow_Suc_le_self ~> power_Suc_le_self |
134 realpow_Suc_le_self ~> power_Suc_le_self |
135 dvd_Gcd, dvd_Gcd_nat, dvd_Gcd_int removed in favour of Gcd_greatest |
135 dvd_Gcd, dvd_Gcd_nat, dvd_Gcd_int removed in favour of Gcd_greatest |
136 INCOMPATIBILITY. |
136 INCOMPATIBILITY. |
|
137 |
|
138 |
|
139 *** System *** |
|
140 |
|
141 * SML/NJ is no longer supported. |
|
142 |
137 |
143 |
138 |
144 |
139 New in Isabelle2016 (February 2016) |
145 New in Isabelle2016 (February 2016) |
140 ----------------------------------- |
146 ----------------------------------- |
141 |
147 |