src/HOL/Tools/simpdata.ML

   (\<^const_name>\<open>False\<close>, []),
   (\<^const_name>\<open>If\<close>, [@{thm if_bool_eq_conj} RS @{thm iffD1}])];
 
 val HOL_basic_ss =
   empty_simpset \<^context>
-  setSSolver safe_solver
-  setSolver unsafe_solver
+  |> Simplifier.set_safe_solver safe_solver
+  |> Simplifier.set_unsafe_solver unsafe_solver
   |> Simplifier.set_subgoaler asm_simp_tac
   |> Simplifier.set_mksimps (mksimps mksimps_pairs)
   |> Simplifier.set_mkeqTrue mk_eq_True
   |> Simplifier.set_mkcong mk_meta_cong
   |> simpset_of;