author | Fabian Huch <huch@in.tum.de> |
Thu, 28 Mar 2024 15:08:58 +0100 | |
changeset 80058 | 68f6b29ae066 |
parent 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 \<open>../Tools/Predicate_Compile/predicate_compile_quickcheck.ML\<close> end