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