author | Andreas Lochbihler |
Thu, 31 May 2012 16:58:38 +0200 | |
changeset 48051 | 53a0df441e20 |
parent 45450 | dc2236b19a3d |
child 48891 | c0eafbd55de3 |
permissions | -rw-r--r-- |
35953 | 1 |
(* Author: Lukas Bulwahn, TU Muenchen *) |
2 |
||
3 |
header {* A Prototype of Quickcheck based on the Predicate Compiler *} |
|
4 |
||
5 |
theory Predicate_Compile_Quickcheck |
|
6 |
imports Main Predicate_Compile_Alternative_Defs |
|
7 |
uses "../Tools/Predicate_Compile/predicate_compile_quickcheck.ML" |
|
8 |
begin |
|
9 |
||
43886
bf068e758783
adapting quickcheck based on the analysis of the predicate compiler
bulwahn
parents:
39252
diff
changeset
|
10 |
setup {* Predicate_Compile_Quickcheck.setup *} |
bf068e758783
adapting quickcheck based on the analysis of the predicate compiler
bulwahn
parents:
39252
diff
changeset
|
11 |
|
35953 | 12 |
end |