# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: a73d8c7c7b507c72b6d8947b48e102e09fcad3de
uuid: 156b5bcc-c39d-47f7-9a3b-d02d22cf5143
input_heaps:
a94bec1f1afbee18cdd2d9a64da35bb88b4c4cda
5ef5c38f9ed83885f23f9268d0c06906c1a7541e
9f8e2366105bb95b5c017a8941af811174b038f7
c26abad3176748a589eb84a7556bf6d6ff815f58
655e406fa2866f75c97920d3ed3a1479b7529e4a


