# isabelle_session_info

session_name: HOL-SET_Protocol
sources: 269190f433492a752881425839131fad48ffb872
input_heaps:
1c6f2074cd6cdf579a3d3ee0e0c3866542d97adf
dc5a1495e230b9fed28df216f9bc9b8936ded4f2
1417cf81634704ab62dd990387c7bf733191a6e3


