src/HOL/Tools/Old_Datatype/old_datatype_data.ML

 
 (** abstract theory extensions relative to a datatype characterisation **)
 
 structure Old_Datatype_Plugin = Plugin(type T = Old_Datatype_Aux.config * string list);
 
-val old_datatype_plugin = Plugin_Name.declare_setup @{binding old_datatype};
+val old_datatype_plugin = Plugin_Name.declare_setup \<^binding>\<open>old_datatype\<close>;
 
 fun interpretation f =
   Old_Datatype_Plugin.interpretation old_datatype_plugin
     (fn (config, type_names as name :: _) =>
       Local_Theory.background_theory (fn thy =>