# isabelle_session_info

session_name: HOL-Quickcheck_Examples
sources: 77749511c0fccbae53df652838e14a33daa41000
input_heaps:
0ca3541890e85917e61d4eb1b72fb2facda5c940
aab8e5e46304aa7fc190d3aff0013f892253e042
89e6978f83d6894884fb27524a3930891af11752


