changeset 41278 | 8e1cde88aae6 |
parent 40410 | 8adcdd2c5805 |
child 42208 | 02513eb26eb7 |
--- a/src/HOL/Nitpick_Examples/Datatype_Nits.thy Sun Dec 19 00:13:25 2010 +0100 +++ b/src/HOL/Nitpick_Examples/Datatype_Nits.thy Sun Dec 19 11:48:42 2010 +0100 @@ -11,7 +11,7 @@ imports Main begin -nitpick_params [card = 1\<midarrow>8, max_potential = 0, +nitpick_params [verbose, card = 1\<midarrow>8, max_potential = 0, sat_solver = MiniSat_JNI, max_threads = 1, timeout = 60] primrec rot where