# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: a7e3abd9deb510044f282076fcd4ded9f2877067
input_heaps:
66bbd849714724ffd8c8c735b713095926828f3d
c15c60e1d6031ed7060324e1cda2aebefad74f16
ba7f953bc40fb6f1014d21d57cc5450304130d2d
09d639d6b159f97ea4f09c648f4fa307d74b65c1
2d6fb822c061ffe788ad1145d64cc049dc45f369


