changeset 29984 | 015c56cc1864 |
parent 29858 | c8cee17d7e50 |
child 30147 | c1e1d96903ea |
--- a/src/Tools/auto_solve.ML Wed Feb 18 17:02:38 2009 -0800 +++ b/src/Tools/auto_solve.ML Thu Feb 19 23:55:10 2009 +1100 @@ -23,7 +23,7 @@ structure FT = FindTheorems; val auto = ref false; - val auto_time_limit = ref 5000; + val auto_time_limit = ref 2500; fun seek_solution int state = let val ctxt = Proof.context_of state;