# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 65f58835afcfe67a4a764f5a05a1c357cac454a6
uuid: bb9526d3-8165-437e-bf7f-b1cf406ebb3a
input_heaps:
b6ac33a175addfe695edbae18cd2583281bee6b6
d54b2acc9dae828b9e04868d1aaac6710f70e08b
82162a8631e7af18f84939893d8bd4408c8a1cc0
1d27a23657348ec6058700e8653a9eaa6ecad18c
a5d7508cd753bb151e794a441f124fe0a61b3026


