# isabelle_session_info

session_name: HOL-SET_Protocol
sources: 7c4c49856a51b93341423a17b691fc400323deaa
input_heaps:
425050c979a8d54247f86c7dfa44e6a498adfdfd
1f89f62b2b5f45ced70bdc8c7ca677aa7e6acb93
ed29f35d0b99a35bf56527c7405c4d1433071668


