# isabelle_session_info

session_name: HOL-SET_Protocol
sources: 35e88d27bba922dfa0e2de30bacfb058555281e5
input_heaps:
c2d0fb3b47e8eb977e037c394badcf36d1d2c5a6
b2b478c28d6b0e47d8a42d61ccf723d668135bd8
ca30cf122c68fcafed499ac473b9fe2b3ca2d2c9


