| changeset 64593 | 50c715579715 |
| parent 64249 | a3f654f9a46c |
| child 67091 | 1393c2340eec |
--- a/src/HOL/Groebner_Basis.thy Sat Dec 17 15:22:14 2016 +0100 +++ b/src/HOL/Groebner_Basis.thy Sat Dec 17 15:22:14 2016 +0100 @@ -72,7 +72,7 @@ declare zmod_eq_0_iff[algebra] declare dvd_0_left_iff[algebra] declare zdvd1_eq[algebra] -declare zmod_eq_dvd_iff[algebra] +declare mod_eq_dvd_iff[algebra] declare nat_mod_eq_iff[algebra] context semiring_parity