# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 09a7eda7cba2f4637a3cb0bf53950bfd35c1aacb
uuid: 596f9496-3967-44c0-84a4-62aab8a96478
input_heaps:
ba7702c126855af99502b531f1cc5642fad9a467
255f2c506c9d955748a5ac0e37edfa82969b4ab5
44d1d1ea000e17fdf2d7a7463ffe2e37eed0523b
4b4f2600797d40d1f06d80f5b486138480c9f9b5
007b25413ffe143923aac01d30b37a68b4ec7d11


