# isabelle_session_info

session_name: HOL-SET_Protocol
sources: 308f6917a998fb0efe8337d7f9bf04ce5d64dda3
input_heaps:
f773f64b5324612793822c6b9168a199158bbc25
919d4d74d5325321cbb68f9d83a169ecec0e086e
b4d77f62759e3afff6f1ba3babead3c892f3048d


