src/HOL/Nitpick_Examples/Datatype_Nits.thy
changeset 38185 b51677438b3a
parent 37704 c6161bee8486
child 40341 03156257040f
     1.1 --- a/src/HOL/Nitpick_Examples/Datatype_Nits.thy	Tue Aug 03 17:29:54 2010 +0200
     1.2 +++ b/src/HOL/Nitpick_Examples/Datatype_Nits.thy	Tue Aug 03 17:43:15 2010 +0200
     1.3 @@ -11,8 +11,8 @@
     1.4  imports Main
     1.5  begin
     1.6  
     1.7 -nitpick_params [max_potential = 0, sat_solver = MiniSat_JNI, max_threads = 1,
     1.8 -                timeout = 60 s]
     1.9 +nitpick_params [card = 1\<midarrow>8, max_potential = 0,
    1.10 +                sat_solver = MiniSat_JNI, max_threads = 1, timeout = 60 s]
    1.11  
    1.12  primrec rot where
    1.13  "rot Nibble0 = Nibble1" | "rot Nibble1 = Nibble2" | "rot Nibble2 = Nibble3" |