|
|
|
|
Quellcodebibliothek Predicate_Compile_Quickcheck.thy
Sprache: unbekannt
|
|
(* 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
[ Normaldarstellung0.7Diashow
(vorverarbeitet)
]
|
2026-03-28
|
|
|
|
|
