src/HOL/Nitpick_Examples/Datatype_Nits.thy
changeset 37704 c6161bee8486
parent 37696 1a6f475085fc
child 38185 b51677438b3a
     1.1 --- a/src/HOL/Nitpick_Examples/Datatype_Nits.thy	Sat Jul 03 00:49:12 2010 +0200
     1.2 +++ b/src/HOL/Nitpick_Examples/Datatype_Nits.thy	Sat Jul 03 00:50:35 2010 +0200
     1.3 @@ -69,7 +69,7 @@
     1.4  oops
     1.5  
     1.6  lemma "fs (Pd ((a, b), (c, d))) = (a, b)"
     1.7 -nitpick [card = 1\<midarrow>9, expect = unknown (*none*)]
     1.8 +nitpick [card = 1\<midarrow>9, expect = none]
     1.9  sorry
    1.10  
    1.11  lemma "fs (Pd ((a, b), (c, d))) = (c, d)"