src/HOL/TPTP/MaSh_Eval.thy

    lam_trans = lifting, timeout = 15, dont_preplay, minimize]
 
 declare [[sledgehammer_instantiate_inducts = false]]
 
 ML {*
-!Multithreading.max_threads
+Multithreading.max_threads_value ()
 *}
 
 ML {*
 open MaSh_Eval
 *}