Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
dropped potentially explosive rule for groebner simpset, with no observable effect on examples
authorhaftmann
Sun, 16 Oct 2016 13:47:36 +0200
changeset 64249 a3f654f9a46c
parent 64248 690eb1ae8bb0
child 64250 0cde0b4d4cb5
dropped potentially explosive rule for groebner simpset, with no observable effect on examples
src/HOL/Groebner_Basis.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Groebner_Basis.thy	Sun Oct 16 13:47:35 2016 +0200
+++ b/src/HOL/Groebner_Basis.thy	Sun Oct 16 13:47:36 2016 +0200
@@ -57,7 +57,6 @@
 declare div_by_0[algebra]
 declare mod_by_0[algebra]
 declare mult_div_mod_eq[algebra]
-declare div_mod_equality2[symmetric, algebra]
 declare div_minus_minus[algebra]
 declare mod_minus_minus[algebra]
 declare div_minus_right[algebra]
isabelle