1.1 --- a/src/HOL/TPTP/MaSh_Eval.thy	Wed Aug 22 22:47:16 2012 +0200
     1.2 +++ b/src/HOL/TPTP/MaSh_Eval.thy	Wed Aug 22 22:55:41 2012 +0200
     1.3 @@ -6,9 +6,10 @@
     1.4  
     1.5  theory MaSh_Eval
     1.6  imports Complex_Main
     1.7 -uses "mash_eval.ML"
     1.8  begin
     1.9  
    1.10 +ML_file "mash_eval.ML"
    1.11 +
    1.12  sledgehammer_params
    1.13    [provers = e, max_relevant = 40, strict, dont_slice, type_enc = poly_guards??,
    1.14     lam_trans = combs_and_lifting, timeout = 5, dont_preplay, minimize]