author | bulwahn |
Tue, 10 Jan 2012 15:48:10 +0100 | |
changeset 46171 | 19f68d7671f0 |
parent 45450 | dc2236b19a3d |
child 48891 | c0eafbd55de3 |
permissions | -rw-r--r-- |
(* Author: Lukas Bulwahn, TU Muenchen *) header {* A Prototype of Quickcheck based on the Predicate Compiler *} theory Predicate_Compile_Quickcheck imports Main Predicate_Compile_Alternative_Defs uses "../Tools/Predicate_Compile/predicate_compile_quickcheck.ML" begin setup {* Predicate_Compile_Quickcheck.setup *} end