src/HOL/TPTP/MaSh_Export.thy

--- a/src/HOL/TPTP/MaSh_Export.thy	Mon Jul 23 09:28:03 2012 +0200
+++ b/src/HOL/TPTP/MaSh_Export.thy	Mon Jul 23 15:32:30 2012 +0200
@@ -11,7 +11,7 @@
 
 sledgehammer_params
   [provers = e, max_relevant = 40, strict, dont_slice, type_enc = poly_guards??,
-   lam_trans = combs_and_lifting, timeout = 5, dont_preplay, minimize]
+   lam_trans = combs_and_lifting, timeout = 1, dont_preplay, minimize]
 
 ML {*
 open MaSh_Export
@@ -66,5 +66,4 @@
   ()
 *}
 
-
 end