src/HOL/Tools/try.ML
changeset 40301 bf39a257b3d3
parent 40222 cd6d2b0a4096
child 40931 061b8257ab9f
     1.1 --- a/src/HOL/Tools/try.ML	Tue Nov 02 20:31:46 2010 +0100
     1.2 +++ b/src/HOL/Tools/try.ML	Tue Nov 02 20:55:12 2010 +0100
     1.3 @@ -20,7 +20,7 @@
     1.4    ProofGeneralPgip.add_preference Preferences.category_tracing
     1.5        (Preferences.bool_pref auto "auto-try" "Try standard proof methods.")
     1.6  
     1.7 -val default_timeout = Time.fromSeconds 5
     1.8 +val default_timeout = seconds 5.0
     1.9  
    1.10  fun can_apply timeout_opt pre post tac st =
    1.11    let val {goal, ...} = Proof.goal st in