src/HOL/Analysis/Measurable.thy

--- a/src/HOL/Analysis/Measurable.thy	Sat Jan 05 17:00:43 2019 +0100
+++ b/src/HOL/Analysis/Measurable.thy	Sat Jan 05 17:24:33 2019 +0100
@@ -70,7 +70,7 @@
 simproc_setup%important measurable ("A \<in> sets M" | "f \<in> measurable M N") = \<open>K Measurable.simproc\<close>
 
 setup \<open>
-  Global_Theory.add_thms_dynamic (@{binding measurable}, Measurable.get_all)
+  Global_Theory.add_thms_dynamic (\<^binding>\<open>measurable\<close>, Measurable.get_all)
 \<close>
 
 declare