equal
deleted
inserted
replaced
1 (* Title: HOL/Tools/Quickcheck/quickcheck_common.ML |
1 (* Title: HOL/Tools/Quickcheck/quickcheck_common.ML |
2 Author: Florian Haftmann, Lukas Bulwahn, TU Muenchen |
2 Author: Florian Haftmann, Lukas Bulwahn, TU Muenchen |
3 |
3 |
4 Common functions for quickcheck's generators |
4 Common functions for quickcheck's generators. |
5 |
|
6 *) |
5 *) |
7 |
6 |
8 signature QUICKCHECK_COMMON = |
7 signature QUICKCHECK_COMMON = |
9 sig |
8 sig |
10 val perhaps_constrain: theory -> (typ * sort) list -> (string * sort) list |
9 val perhaps_constrain: theory -> (typ * sort) list -> (string * sort) list |