src/HOL/Nitpick_Examples/Datatype_Nits.thy
changeset 34083 652719832159
parent 33199 6c9b2a94a69c
child 34126 8a2c5d7aff51
     1.1 --- a/src/HOL/Nitpick_Examples/Datatype_Nits.thy	Mon Dec 14 10:31:35 2009 +0100
     1.2 +++ b/src/HOL/Nitpick_Examples/Datatype_Nits.thy	Mon Dec 14 10:59:46 2009 +0100
     1.3 @@ -11,6 +11,8 @@
     1.4  imports Main
     1.5  begin
     1.6  
     1.7 +nitpick_params [sat_solver = MiniSatJNI, max_threads = 1, timeout = 60 s]
     1.8 +
     1.9  primrec rot where
    1.10  "rot Nibble0 = Nibble1" |
    1.11  "rot Nibble1 = Nibble2" |