# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 09a7eda7cba2f4637a3cb0bf53950bfd35c1aacb
uuid: 6ca698bd-26ee-469e-992c-c204358b6d4c
input_heaps:
b8a6b7f3ead9e69e49adda3f314835db8ecb2a6f
88a6ad11863aa7909374441b2475843141e4c25c
3c19ac5803b7e34cf46729d33d06863a37704171
cc09bcfd49c38275f48e9741242ee250381b268a
516e683b27d3b642a352dbf71b7d8a875fe0c7b4


