# HG changeset patch
# User huffman
# Date 1332855276 -7200
# Node ID 8a32c2294498d5e9e2dbf1738f9d7b87a124e53a
# Parent  8ada79014cb2911980c360fd80a444809b703ad4
remove duplicate [algebra] declarations

diff -r 8ada79014cb2 -r 8a32c2294498 src/HOL/Groebner_Basis.thy
--- a/src/HOL/Groebner_Basis.thy	Tue Mar 27 15:34:04 2012 +0200
+++ b/src/HOL/Groebner_Basis.thy	Tue Mar 27 15:34:36 2012 +0200
@@ -64,8 +64,6 @@
 declare div_by_1[algebra]
 declare mod_minus1_right[algebra]
 declare div_minus1_right[algebra]
-declare mod_div_trivial[algebra]
-declare mod_mod_trivial[algebra]
 declare mod_mult_self2_is_0[algebra]
 declare mod_mult_self1_is_0[algebra]
 declare zmod_eq_0_iff[algebra]