# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 75056677a2c4215a809a1268b08c66fb26ea4d0e
input_heaps:
ec1fa52d7e9afb209e4092357e883ff03bdd4353
258dd0b2c6018904988ce9e16128dd8a4d0f1ba4
65e674abdc1ec414ff9ebf938843f6b31d0630ea
1b31275ab4df3d4ab6046d0fa32e90fa2f02aeac
04691fd8daceb3ef4f1c0b06d9b7c9e4401419a2


