| changeset 47142 | d64fa2ca54b8 |
| parent 47108 | 2a1953f0d20d |
| child 47165 | 9344891b504b |
--- a/src/HOL/Presburger.thy Tue Mar 27 12:42:54 2012 +0200 +++ b/src/HOL/Presburger.thy Tue Mar 27 14:49:56 2012 +0200 @@ -396,8 +396,6 @@ declare mod_1[presburger] declare mod_0[presburger] declare mod_by_1[presburger] -declare zmod_zero[presburger] -declare zmod_self[presburger] declare mod_self[presburger] declare mod_by_0[presburger] declare mod_div_trivial[presburger]