# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: d1190aa7e2186f5ccd31b14c5ba1888714b882c3
uuid: 630bf165-af70-4429-bd2d-f8d72d7e6f9f
input_heaps:
cc0a1e6bf0a67bebc76a05283bbaeaf825c84028
0f6b10629e7cb97327ec14b3a1d38cf4256e1f5b
67311316c7511f2e1668240497faddcffe7e5d8a
f4daddb79c0be0b14eba5db052cfb9513ee2a4ba
a7aa5e67625b68dcdc2f06bc02b7decccce6dfef


