# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 1a46f4d3ae6ed52c38bdc2c6f3c5d86908065e82
input_heaps:
4a4f54a92f149cb91f86d6ede33321d86d379713
9ad138bceb8124b0333eaaccb8c4fbbc943ef49a
635ce4aba79318f0565ceac72eda34ed872eb56f
dd6799e22c73f68b592887818851ae7a0dc78d57
21d6ca9197fc4c038ab52f0c1b12513eb090e490


