
diff -r de51a86fc903 -r cc97b347b301 src/HOL/Word/WordBitwise.thy
--- a/src/HOL/Word/WordBitwise.thy	Fri Jul 04 20:07:08 2014 +0200
+++ b/src/HOL/Word/WordBitwise.thy	Fri Jul 04 20:18:47 2014 +0200
@@ -306,7 +306,7 @@
 
   show ?case
     using Cons
-    apply (simp add: trans [OF of_bl_append add_commute]
+    apply (simp add: trans [OF of_bl_append add.commute]
                      rbl_mul_simps rbl_word_plus'
                      Cons.hyps distrib_right mult_bit
                      shiftl rbl_shiftl)




