Session HOL-Quickcheck_Examples

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