| changeset 57512 | cc97b347b301 |
| parent 57507 | a609065c9e15 |
| child 58249 | 180f1b3508ed |
--- 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.*}