# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 44708cc0e5f607ea56e37d7cdb08d9b0f30cd463
uuid: 77a47b7e-144f-4bce-ba82-cdd193124471
input_heaps:
79322249ab134c8554bd4221788419e922866e99
2387fc3faef59fbd5e6cfc1d5a002f4fe962a0c3
136b97fcd0c3fc5c379cdaec1d5dbc45076944b5
241b8dafd9f13f40deef419782260fabff47b550
723ce23ca615c7198d8d4dc27522e79793c8ae96


