changeset 38185 | b51677438b3a |
parent 35671 | ed2c3830d881 |
child 38186 | c28018f5a1d6 |
--- a/src/HOL/Nitpick_Examples/Induct_Nits.thy Tue Aug 03 17:29:54 2010 +0200 +++ b/src/HOL/Nitpick_Examples/Induct_Nits.thy Tue Aug 03 17:43:15 2010 +0200 @@ -11,7 +11,8 @@ imports Main begin -nitpick_params [sat_solver = MiniSat_JNI, max_threads = 1, timeout = 60 s] +nitpick_params [card = 1\<midarrow>6, bits = 1,2,3,4,6,8, + sat_solver = MiniSat_JNI, max_threads = 1, timeout = 60 s] inductive p1 :: "nat \<Rightarrow> bool" where "p1 0" |