| 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 {* Various kind of sequences inside the random monad *} |
4 section \<open>Various kind of sequences inside the random monad\<close> |
5 |
5 |
6 theory Random_Sequence |
6 theory Random_Sequence |
7 imports Random_Pred |
7 imports Random_Pred |
8 begin |
8 begin |
9 |
9 |