src/HOL/TPTP/MaSh_Eval.thy

    lam_trans = combs_and_lifting, timeout = 15, dont_preplay, minimize]
 
 declare [[sledgehammer_instantiate_inducts]]
 
 ML {*
-! Multithreading.max_threads
+!Multithreading.max_threads
 *}
 
 ML {*
 open MaSh_Eval
 *}