Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Word/WordArith.thy
changeset 29668 33ba3faeaa0e
parent 29631 3aa049e5f156
parent 29667 53103fc8ffa3
child 30509 e19d5b459a61 
--- a/src/HOL/Word/WordArith.thy	Wed Jan 28 06:03:46 2009 -0800
+++ b/src/HOL/Word/WordArith.thy	Wed Jan 28 16:57:12 2009 +0100
@@ -1001,7 +1001,7 @@
   apply (auto simp add: unat_def uint_sub_if')
    apply (rule nat_diff_distrib)
     prefer 3
-    apply (simp add: group_simps)
+    apply (simp add: algebra_simps)
     apply (rule nat_diff_distrib [THEN trans])
       prefer 3
       apply (subst nat_add_distrib)
isabelle