| author | paulson <lp15@cam.ac.uk> |
| Mon, 09 Jan 2017 14:00:13 +0000 | |
| changeset 64845 | e5d4bc2016a6 |
| parent 63992 | 3aa9837d05c7 |
| child 69605 | a96320074298 |
| permissions | -rw-r--r-- |
(* Title: HOL/Library/Predicate_Compile_Quickcheck.thy Author: Lukas Bulwahn, TU Muenchen *) section \<open>A Prototype of Quickcheck based on the Predicate Compiler\<close> theory Predicate_Compile_Quickcheck imports Predicate_Compile_Alternative_Defs begin ML_file "../Tools/Predicate_Compile/predicate_compile_quickcheck.ML" end