# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: c2ee2eafe23e99bf8b766eff291e0bfccdce1772
input_heaps:
2c82039eb3757b51a1431a9f137ac66d6aba80c0
3c598196b8edb81762927ef1907cc30b56624032
6f5499c703e5344af6722be4daefe4d980c50c91
38146a82862c89e188de1c9143c832051d90c5fd
d87668496798eb96f098a8bbb606820723836abe


