# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: f74b3e0b4c72080e0432bfe85faa6af38b1b5166
input_heaps:
b121211610e458dc97d612673bcd7347cff880b9
1a49b8a85ced53b842cab647e6c466047ce342b2
f09c2300a0729d3f40460de3221a99f80cdae554
b1c8c1a997dc34aab196d4f526d68129572e7a01
b0fe58f8e07608e9664de6b00e724eb6e16c1ebf


