Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
accomodate for different behvaiour of nitpick (c.f. also 180e80b4eac1)
authorhaftmann
Fri, 02 Jul 2010 16:10:59 +0200
changeset 37696 1a6f475085fc
parent 37695 71e84a203c19
child 37697 db7b5f2e19cd
accomodate for different behvaiour of nitpick (c.f. also 180e80b4eac1)
src/HOL/Nitpick_Examples/Datatype_Nits.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Nitpick_Examples/Datatype_Nits.thy	Fri Jul 02 14:23:18 2010 +0200
+++ b/src/HOL/Nitpick_Examples/Datatype_Nits.thy	Fri Jul 02 16:10:59 2010 +0200
@@ -69,7 +69,7 @@
 oops
 
 lemma "fs (Pd ((a, b), (c, d))) = (a, b)"
-nitpick [card = 1\<midarrow>9, expect = none]
+nitpick [card = 1\<midarrow>9, expect = unknown (*none*)]
 sorry
 
 lemma "fs (Pd ((a, b), (c, d))) = (c, d)"
isabelle