# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 52758b2bbf9d13d3d635abf3a2c1218c8703b22e
input_heaps:
e620ac930d489078b357b373608609ed836ae94d
6f5646bc3439a661f5be6d727d4de222a5c345ea
93555cf0c0759f9a5c02d602de33c467b9d02720
9527caed35e8c20a5cdac0434fe4a61df780fe6c
aa1a985573e94eb7b20818dc1e1613a2e1761c9e


