changeset 69605 | a96320074298 |
parent 69593 | 3dda49e08b9d |
child 70347 | e5cd5471c18a |
--- a/src/HOL/Groups.thy Sun Jan 06 13:44:33 2019 +0100 +++ b/src/HOL/Groups.thy Sun Jan 06 15:04:34 2019 +0100 @@ -988,7 +988,7 @@ end -ML_file "Tools/group_cancel.ML" +ML_file \<open>Tools/group_cancel.ML\<close> simproc_setup group_cancel_add ("a + b::'a::ab_group_add") = \<open>fn phi => fn ss => try Group_Cancel.cancel_add_conv\<close>