# isabelle_session_info

session_name: HOL-SET_Protocol
sources: ee3ecceaf6f67a36724ed5c64634229465e54726
input_heaps:
bbe5847e310595c720c365f3cee328952d2bbbc1
7d7164aeace04141c8f5bcb7d9fbb94248795f35
91c9d764198d5c3056274ad08de9933e915cdd17


