# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 4a3f4dd7be170f9282d1caf382820fb7691b526c
input_heaps:
0885912a24c645e4182724bd7f8c89f24840a297
e463e677359f3c9489bf77f9c6fe154dc3d8599e
b56da9326852f88f19856eee626d60a0308d8baf
233b745906cb69d6926a6f47e531b80fe21ac6c3
be0ad9e85be08de79e8038b03fef4d8da3fdda4b


