1.1 --- a/src/HOL/TPTP/MaSh_Export.thy	Mon Jul 23 09:28:03 2012 +0200
     1.2 +++ b/src/HOL/TPTP/MaSh_Export.thy	Mon Jul 23 15:32:30 2012 +0200
     1.3 @@ -11,7 +11,7 @@
     1.4  
     1.5  sledgehammer_params
     1.6    [provers = e, max_relevant = 40, strict, dont_slice, type_enc = poly_guards??,
     1.7 -   lam_trans = combs_and_lifting, timeout = 5, dont_preplay, minimize]
     1.8 +   lam_trans = combs_and_lifting, timeout = 1, dont_preplay, minimize]
     1.9  
    1.10  ML {*
    1.11  open MaSh_Export
    1.12 @@ -66,5 +66,4 @@
    1.13    ()
    1.14  *}
    1.15  
    1.16 -
    1.17  end