# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: a8b4451960d30a94aaa876a45b3c6181240b74dd
input_heaps:
9d7517348472ce807cf5dff817172e1e8120481b
929ed8b823edb90e6904fdfe33cb6e38dbf2b397
2e6a14cf332154faba1bf040ff335b0da122122e
ddfcdce7684abe47a7844471c50e845b106495ac
652f63bf98ac7a74bc727c9146bd9f549ec03abe


