# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 8caa0913a1dd5d0e3bee400884e8f02d957f0b24
uuid: 025e5684-6fc9-43ce-8898-f20d8883b45f
input_heaps:
36485b6181fa7dd2234febf349f141456f576e41
2938869a4687eaba215c72dd9230cf340caa7c0e
e0b2413c63513a61c1fc2619cb5656a0d51040f9
5478bd4366029f0fe160f280700ea05e3f792ca0
86020dda9fb5f3a00172bf4529c60a1efcc6b876


