# isabelle_session_info

session_name: HOL-SET_Protocol
sources: 0dd53e24c28fdb1a00f98758bd025ab5c6a1b396
input_heaps:
24a02e746c61040204a8bb5050040c0249134cdf
94f56250bb4f3fd3f203368dc609dc2dfcebeb97
1e0f3a00b78341e1712801ed0c62b2e5452b2dde


