Session HOL-Quickcheck_Examples
View
theory dependencies
Theories
HOL-Library.Confluence
HOL-Library.Confluent_Quotient
HOL-Library.Dlist
HOL-Library.Cancellation
File ‹Cancellation/cancel.ML›
File ‹Cancellation/cancel_data.ML›
File ‹Cancellation/cancel_simprocs.ML›
HOL-Library.Multiset
File ‹multiset_simprocs.ML›
HOL-Library.AList
HOL-Library.DAList
HOL-Library.DAList_Multiset
Quickcheck_Examples
Quickcheck_Lattice_Examples
Completeness
Quickcheck_Interfaces
Quickcheck_Nesting
Quickcheck_Nesting_Example
HOL-Library.Predicate_Compile_Alternative_Defs
HOL-Library.Predicate_Compile_Quickcheck
File ‹~~/src/HOL/Tools/Predicate_Compile/predicate_compile_quickcheck.ML›
Hotel_Example
Quickcheck_Narrowing_Examples