# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 78a462b45764eee12afe9d0a2b3695965428af25
uuid: 8edaf182-f7ad-4386-93f6-86639d2f1024
input_heaps:
2d4d42bbaa4aa9e2d6be0125d66cf1542ba8f42d
8949abede8d02268862b8a391758b7bc0543b206
44ecb598abe16cbf2327b95701c3f556edf31940
e820b4324cbe599fa66776b053f8b8ecd98853d3
0f380542b565f6335ff28fec4175a1b35ca1e076


