# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 982c0bc7da35807893219fc2c24b5bf93d3d224b
input_heaps:
eb8afa5f3e15914627405f139746db5363a9c9cd
f9d10642c34cf1b033c11c0e6a9a4a5dd6b1321e
4325d35643247cd98417e4f049d9670952babaeb
b148511cb1ebc2dbcb74d28cd00a6320bb0ea2ad
6f1d5076bfad42b0256fd12565fc9f7464be864f


