# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 645c8d8022fe75178d039d538e6d40b486380ee4
input_heaps:
1260d472a45eb144f018c964d5a46fcfd50ab761
d093571a70fa6dacd44ea77b7d4dcc20182b1a1c
0cd27d1efb06c2680b53fc570fb9406d194bc55e
db9f486fa4cf7dedce18cf8f2c294a2c897e3668
40a9f6018b8dd15b2f4756ef7c58bf2896d6aaac


