src/HOL/Tools/datatype_realizer.ML

     thy
     |> fold_rev (make_ind (#sorts info) info) (subsets 0 (length (#descr info) - 1))
     |> fold_rev (make_casedists (#sorts info)) infos
   end;
 
-val setup = DatatypePackage.add_interpretator add_dt_realizers;
+val setup = DatatypePackage.interpretation add_dt_realizers;
 
 end;