# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 6dad3c223ea0c191e3c5ca6c799c81adec8b2a46
input_heaps:
84d9a0f42954d11e84ba3493f60650a38e0e7836
a0aafef0823c04b9003c89434d1e323377dcf5f0
17fdd48954687d547359eeb9590e929394278bce
51c4a77418b9b6eb4aab5afe4da0abe00c59b0de
496ba117a3fa0fd635a03fd931da84b57ac9a26f


