# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 5de63e913b71f09f9171d21e1cb9ce2e3c0888be
input_heaps:
401e1f28f5a50f5c72f2ef48f3f4831c174724f2
dda45cedd3f641951e9c6ce6cf5c77714bf220c2
b29a47d5a21cbff3e0253a2ee81aa1566e1c6a7b
58460a61e16eaec4afec0f827d495aacd458409c
54a1a31a9132cd89cf503d26ac8910ac02ef1ce4


