src/HOL/Tools/code_evaluation.ML

 val setup =
   Code.datatype_interpretation ensure_term_of
   #> Code.abstype_interpretation ensure_term_of
   #> Code.datatype_interpretation ensure_term_of_code
   #> Code.abstype_interpretation ensure_abs_term_of_code
-  #> Context.theory_map (Syntax_Phases.term_check 0 "termify" check_termify)
-  #> Value.add_evaluator ("code", dynamic_value_strict);
+  #> Context.theory_map (Syntax_Phases.term_check 0 "termify" check_termify);
 
 end;