equal
deleted
inserted
replaced
175 coprime_dvd_mult_iff_int ~> coprime_dvd_mult_iff |
175 coprime_dvd_mult_iff_int ~> coprime_dvd_mult_iff |
176 realpow_minus_mult ~> power_minus_mult |
176 realpow_minus_mult ~> power_minus_mult |
177 realpow_Suc_le_self ~> power_Suc_le_self |
177 realpow_Suc_le_self ~> power_Suc_le_self |
178 dvd_Gcd, dvd_Gcd_nat, dvd_Gcd_int removed in favour of Gcd_greatest |
178 dvd_Gcd, dvd_Gcd_nat, dvd_Gcd_int removed in favour of Gcd_greatest |
179 INCOMPATIBILITY. |
179 INCOMPATIBILITY. |
|
180 |
|
181 * Session HOL-NSA has been renamed to HOL-Nonstandard_Analysis. |
180 |
182 |
181 |
183 |
182 *** System *** |
184 *** System *** |
183 |
185 |
184 * The Isabelle system environment always ensures that the main |
186 * The Isabelle system environment always ensures that the main |