
diff -r de51a86fc903 -r cc97b347b301 src/HOL/ex/Adhoc_Overloading_Examples.thy
--- a/src/HOL/ex/Adhoc_Overloading_Examples.thy	Fri Jul 04 20:07:08 2014 +0200
+++ b/src/HOL/ex/Adhoc_Overloading_Examples.thy	Fri Jul 04 20:18:47 2014 +0200
@@ -211,7 +211,7 @@
   apply default
   unfolding permute_perm_def
   apply simp
-  apply (simp only: diff_conv_add_uminus minus_add add_assoc)
+  apply (simp only: diff_conv_add_uminus minus_add add.assoc)
   done
 
 text {*Permuting functions.*}




