src/HOL/Mutabelle/MutabelleExtra.thy
changeset 39324 05452dd66b2b
parent 34965 3b4762c1052c
child 40132 7ee65dbffa31
     1.1 --- a/src/HOL/Mutabelle/MutabelleExtra.thy	Sat Sep 11 10:28:44 2010 +0200
     1.2 +++ b/src/HOL/Mutabelle/MutabelleExtra.thy	Sat Sep 11 10:35:00 2010 +0200
     1.3 @@ -29,7 +29,7 @@
     1.4  nitpick_params [timeout = 5 s, 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_Counterexample.time_limit := 10 *}
     1.8 +ML {* Auto_Tools.time_limit := 10 *}
     1.9  
    1.10  
    1.11  text {* Uncomment the following ML code to check the counterexample generation with all theorems of Complex_Main. *}
    1.12 @@ -53,4 +53,4 @@
    1.13  ML {* Output.priority_fn := old_pr *}
    1.14  ML {* Output.warning_fn := old_wa *}
    1.15  
    1.16 -end
    1.17 \ No newline at end of file
    1.18 +end