changeset 39581 | 87a9ff4d5817 |
parent 39573 | 61547eda78b4 |
child 40240 | 6ad9081665db |
1.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML Mon Sep 13 09:36:34 2010 +0200 1.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML Mon Sep 13 13:12:33 2010 +0200 1.3 @@ -50,7 +50,7 @@ 1.4 (*** parameters ***) 1.5 1.6 val atps = Unsynchronized.ref "" 1.7 -val timeout = Unsynchronized.ref 60 1.8 +val timeout = Unsynchronized.ref 30 1.9 val full_types = Unsynchronized.ref false 1.10 1.11 val _ =