author | wenzelm |
Thu, 30 May 2013 20:38:50 +0200 | |
changeset 52252 | 81fcc11d8c65 |
parent 51143 | 0a2371e7ced3 |
child 58812 | 5a9a2d3b9f8b |
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 begin ML_file "../Tools/Predicate_Compile/predicate_compile_quickcheck.ML" setup {* Predicate_Compile_Quickcheck.setup *} end