# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 46778d25d9bd6c1bf556cd2b460ffe6bda500221
uuid: 3dc1240e-b31e-4f34-8b19-c2dbf160f17d
input_heaps:
993eb6fa3b516fdd7b7b2572ecff8a2946f70eb4
81855fd54aebed115a45643a126470a727632716
f41e60420c286d9f824f457ca796f7053aab44e0
84f87d41f39b2a50674715dada74c76aba5d3863
c21b174a1d46a488c0a2871e24859d6d04219d4c


