equal
deleted
inserted
replaced
48 dvd_plus_eq_left ~> dvd_add_left_iff |
48 dvd_plus_eq_left ~> dvd_add_left_iff |
49 Minor INCOMPATIBILITY. |
49 Minor INCOMPATIBILITY. |
50 |
50 |
51 * More foundational definition for predicate "even": |
51 * More foundational definition for predicate "even": |
52 even_def ~> even_iff_mod_2_eq_zero |
52 even_def ~> even_iff_mod_2_eq_zero |
|
53 even_iff_2_dvd ~> even_def |
53 Minor INCOMPATIBILITY. |
54 Minor INCOMPATIBILITY. |
54 |
55 |
55 * Lemma name consolidation: divide_Numeral1 ~> divide_numeral_1 |
56 * Lemma name consolidation: divide_Numeral1 ~> divide_numeral_1 |
56 Minor INCOMPATIBILITY. |
57 Minor INCOMPATIBILITY. |
57 |
58 |