src/HOL/Mutabelle/MutabelleExtra.thy
changeset 43018 121aa59b4d17
parent 40931 061b8257ab9f
child 46453 9e83b7c24b05
     1.1 --- a/src/HOL/Mutabelle/MutabelleExtra.thy	Fri May 27 10:30:08 2011 +0200
     1.2 +++ b/src/HOL/Mutabelle/MutabelleExtra.thy	Fri May 27 10:30:08 2011 +0200
     1.3 @@ -26,7 +26,7 @@
     1.4  nitpick_params [timeout = 5, sat_solver = MiniSat, no_overlord, verbose, card = 1-5, iter = 1,2,4,8,12]
     1.5  refute_params [maxtime = 10, minsize = 1, maxsize = 5, satsolver = jerusat]
     1.6  *)
     1.7 -ML {* Auto_Tools.time_limit := 10.0 *}
     1.8 +ML {* Try.auto_time_limit := 10.0 *}
     1.9  
    1.10  ML {* val mtds = [
    1.11    MutabelleExtra.quickcheck_mtd (Config.put Quickcheck.finite_types false) "random",