# isabelle_session_info

session_name: HOL-SET_Protocol
sources: b5724e076e509e14c94dc1ff3cd91ec13b76cfba
input_heaps:
99ecf617d9791e97e2694500834b58fe8bc0930e
fb68b0842b63fdebe460681283f3a90a587f7212
f82c788cc91c200dde26fa1d14e388cb48b88d4a


