| changeset 51126 | df86080de4cb |
| parent 49834 | b27bbb021df1 |
| child 51143 | 0a2371e7ced3 |
--- a/src/HOL/Library/Multiset.thy Thu Feb 14 17:58:28 2013 +0100 +++ b/src/HOL/Library/Multiset.thy Thu Feb 14 15:27:10 2013 +0100 @@ -1314,7 +1314,7 @@ begin definition - "Quickcheck.random i = Quickcheck.random i \<circ>\<rightarrow> (\<lambda>xs. Pair (bagify xs))" + "Quickcheck_Random.random i = Quickcheck_Random.random i \<circ>\<rightarrow> (\<lambda>xs. Pair (bagify xs))" instance ..