--- a/src/HOL/ex/Quickcheck_Examples.thy Sat Aug 13 12:23:51 2011 +0200
+++ b/src/HOL/ex/Quickcheck_Examples.thy Sat Aug 13 07:39:35 2011 -0700
@@ -234,7 +234,7 @@
oops
lemma
- "[| sorted (rev (map length xs)); i < length xs |] ==> xs ! i = map (%ys. ys ! i) [ys<-List.transpose xs. {..<i} (length ys)]"
+ "[| sorted (rev (map length xs)); i < length xs |] ==> xs ! i = map (%ys. ys ! i) [ys<-List.transpose xs. length ys \<in> {..<i}]"
quickcheck[random]
quickcheck[exhaustive, expect = counterexample]
oops