src/HOL/Tools/Ctr_Sugar/ctr_sugar.ML

     "register an existing freely generated type's constructors"
     (parse_ctr_options -- Parse.binding --| @{keyword "for"} -- parse_ctr_specs
        -- parse_sel_default_eqs
      >> free_constructors_cmd);
 
-val _ = Context.>> (Context.map_theory Ctr_Sugar_Interpretation.init);
+val _ = Theory.setup Ctr_Sugar_Interpretation.init;
 
 end;