# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 2e9026a0bcf286a96f06f384dbe1946ae8c6bf87
input_heaps:
ba9703b8d89941ffe014c15e6ddc671ed32d9999
100b23f10739ac1b172eccb60c813bc22e9bd494
5db1b95e54d8648ee14dbbb91802b741cedc9545
923ddd484db72a868dc8f43dc408c2001134ab90
8edf74013b6c9dde18f8cdcf620a386b519f0783


