# isabelle_session_info

session_name: HOL-SET_Protocol
sources: 7da33aeed27c4999fbd61462c929dcbfcb4dc9f5
input_heaps:
59cfb008d82973f70adacd49cb832067f1ce6d0d
1b0de3ee83d720f252fb261525717bc582dfd961
3db8bef0ba6cbf368c1c26fea82a72ed95238bb5


