changeset 60758 | d8d85a8172b5 |
parent 58889 | 5b7a9633cfa8 |
child 67091 | 1393c2340eec |
60757:c09598a97436 | 60758:d8d85a8172b5 |
---|---|
1 |
1 |
2 (* Author: Lukas Bulwahn, TU Muenchen *) |
2 (* Author: Lukas Bulwahn, TU Muenchen *) |
3 |
3 |
4 section {* The Random-Predicate Monad *} |
4 section \<open>The Random-Predicate Monad\<close> |
5 |
5 |
6 theory Random_Pred |
6 theory Random_Pred |
7 imports Quickcheck_Random |
7 imports Quickcheck_Random |
8 begin |
8 begin |
9 |
9 |