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.
merged
authorwenzelm
Wed, 10 Feb 2010 12:04:57 +0100
changeset 35089 17b7940f43e4
parent 35087 e385fa507468 (diff)
parent 35088 6591285a6a59 (current diff)
child 35094 a0e89e47b083
child 35098 45dec8e27c4b
merged
--- a/src/HOL/Nitpick_Examples/Refute_Nits.thy	Wed Feb 10 12:03:13 2010 +0100
+++ b/src/HOL/Nitpick_Examples/Refute_Nits.thy	Wed Feb 10 12:04:57 2010 +0100
@@ -885,7 +885,7 @@
 done
 
 lemma "BinTree_rec l n (Node x y) = n x y (BinTree_rec l n x) (BinTree_rec l n y)"
-nitpick [card = 1\<midarrow>6, expect = none]
+nitpick [card = 1\<midarrow>5, expect = none]
 apply simp
 done
isabelle