# isabelle_session_info

session_name: HOL-SET_Protocol
sources: 522643b92da2cfb1d1e1f797afc50c4e8ac90a1b
input_heaps:
0ada86ca64541a14c3b4bd3a93cea3b953b9dfec
70ea897643bdfb89d02323d127adb06a2c6b9d92
8df5bb739a39fb37ce217dd27ea0d92da3e6802f


