# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: dd2817d5318f54cbc97f01bcda173bc82efac3f6
input_heaps:
fcb8d292400906ad61bee94a2a3dd8bb649ba641
902b77ef700ed1de4580dc7878a157715853f7cb
926772a406bf7c0c3f1e5757aad104330ccc638f
600d4d4039b3cde077a08902e197559574366fad
fe77abab73dff1665515e77c5d4daa694cbc954a


