# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: cf76628ab786bfa1705f73a6c7a866503ad57f76
input_heaps:
51dd6ddf81f32d1521a081613e64272e00a7489b
26eb0d9d19e0107059d575886decce0ced0ef3ab
6c0f34ea0fc51fdcbad05b7638db01f5ea96b003
b41ec274bc61c862132dfae481310df562a5aace
794c82e6db29eb6765972ebedee2c01cb7aac4d4


