| author | Christian Sternagel |
| Thu Aug 30 15:44:03 2012 +0900 (2012-08-30) | |
| changeset 49093 | fdc301f592c4 |
| parent 48891 | c0eafbd55de3 |
| child 51143 | 0a2371e7ced3 |
| permissions | -rw-r--r-- |
1 (* Author: Lukas Bulwahn, TU Muenchen *)
3 header {* A Prototype of Quickcheck based on the Predicate Compiler *}
5 theory Predicate_Compile_Quickcheck
6 imports Main Predicate_Compile_Alternative_Defs
7 begin
9 ML_file "../Tools/Predicate_Compile/predicate_compile_quickcheck.ML"
11 setup {* Predicate_Compile_Quickcheck.setup *}
13 end