# HG changeset patch
# User paulson
# Date 1137170343 -3600
# Node ID 333a7303402312067708ac7b9071aadfbfb1ce9b
# Parent  98d3807578934bc05c262b98eaf3402478d4c209
more practical time limit

diff -r 98d380757893 -r 333a73034023 src/HOL/Tools/res_atp.ML
--- a/src/HOL/Tools/res_atp.ML	Fri Jan 13 14:43:09 2006 +0100
+++ b/src/HOL/Tools/res_atp.ML	Fri Jan 13 17:39:03 2006 +0100
@@ -21,7 +21,7 @@
 
 val call_atp = ref false;
 val hook_count = ref 0;
-val time_limit = ref 60;
+val time_limit = ref 30;
 
 val prover = ref "E";   (* use E as the default prover *)
 val custom_spass =   (*specialized options for SPASS*)