src/HOL/Tools/datatype_package.ML

       |> add_cases_induct dt_infos induct
       |> Theory.parent_path
       |> store_thmss "splits" new_type_names (map (fn (x, y) => [x, y]) split_thms)
       |> snd
       |> DatatypeRealizer.add_dt_realizers sorts (map snd dt_infos)
-      |> DatatypeHooks.invoke (map fst dt_infos);
+      |> DatatypeHooks.all (map fst dt_infos);
   in
     ({distinct = distinct,
       inject = inject,
       exhaustion = exhaustion,
       rec_thms = rec_thms,

       |> put_datatypes (fold Symtab.update dt_infos dt_info)
       |> add_cases_induct dt_infos induct
       |> Theory.parent_path
       |> store_thmss "splits" new_type_names (map (fn (x, y) => [x, y]) split_thms) |> snd
       |> DatatypeRealizer.add_dt_realizers sorts (map snd dt_infos)
-      |> DatatypeHooks.invoke (map fst dt_infos);
+      |> DatatypeHooks.all (map fst dt_infos);
   in
     ({distinct = distinct,
       inject = inject,
       exhaustion = casedist_thms,
       rec_thms = rec_thms,

       |> add_cases_induct dt_infos induction'
       |> Theory.parent_path
       |> store_thmss "splits" new_type_names (map (fn (x, y) => [x, y]) split_thms)
       |> snd
       |> DatatypeRealizer.add_dt_realizers sorts (map snd dt_infos)
-      |> DatatypeHooks.invoke (map fst dt_infos);
+      |> DatatypeHooks.all (map fst dt_infos);
   in
     ({distinct = distinct,
       inject = inject,
       exhaustion = casedist_thms,
       rec_thms = rec_thms,