| changeset 58889 | 5b7a9633cfa8 |
| parent 58101 | e7ebe5554281 |
| child 59058 | a78612c67ec0 |
| 58888:9537bf1c4853 | 58889:5b7a9633cfa8 |
|---|---|
1 |
1 |
2 (* Author: Florian Haftmann, TU Muenchen *) |
2 (* Author: Florian Haftmann, TU Muenchen *) |
3 |
3 |
4 header {* A HOL random engine *} |
4 section {* A HOL random engine *} |
5 |
5 |
6 theory Random |
6 theory Random |
7 imports List Groups_List |
7 imports List Groups_List |
8 begin |
8 begin |
9 |
9 |