# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: be911597fd97f8306a11ee8a3f08351818618bd7
input_heaps:
aaae200ef938cd3615617c5d930e11296698b9d7
f5a12fe498bc23cd6f2b33543f9cca387e89ec39
a3da9b2bfb1cc916ac68718e6ef206ade8a304f1
ad9065737b66d8d548921ce6d5a0e878f5936c45
267e6b94f5f14378c841f7a42fa5a6b060e0796c


