# isabelle_session_info

session_name: HOL-SET_Protocol
sources: d54df6f1c14993dfa0129af48756d029ba1e2c00
input_heaps:
949c598a2bd1e6db44f140e6fcae9e1de0a86ad6
107df69c9cf9c75c7702af58ee7b77c30164c5b9
a1febd8fff15d3313aa3a38fedb6fc4d7cc6c79a


