changeset 35078 | 6fd1052fe463 |
parent 35076 | cc19e2aef17e |
child 35284 | 9edc2bd6d2bd |
--- a/src/HOL/Nitpick_Examples/Typedef_Nits.thy Tue Feb 09 16:05:49 2010 +0100 +++ b/src/HOL/Nitpick_Examples/Typedef_Nits.thy Tue Feb 09 16:07:51 2010 +0100 @@ -11,7 +11,8 @@ imports Main Rational begin -nitpick_params [card = 1\<midarrow>4, timeout = 30 s] +nitpick_params [sat_solver = MiniSat_JNI, max_threads = 1, timeout = 60 s, + card = 1\<midarrow>4] typedef three = "{0\<Colon>nat, 1, 2}" by blast