src/HOL/Mutabelle/mutabelle_extra.ML

     String.isSuffix "_raw" s orelse
     String.isPrefix "term_of" (List.last (Long_Name.explode s))
   end
 
 val forbidden_mutant_constnames =
- ["HOL.induct_equal",
-  "HOL.induct_implies",
-  "HOL.induct_conj",
-  "HOL.induct_forall",
+[@{const_name HOL.induct_equal},
+ @{const_name HOL.induct_implies},
+ @{const_name HOL.induct_conj},
+ @{const_name HOL.induct_forall},
  @{const_name undefined},
  @{const_name default},
  @{const_name Pure.dummy_pattern},
  @{const_name "HOL.simp_implies"},
  @{const_name "bot_fun_inst.bot_fun"},