# isabelle_session_info

session_name: HOL-SET_Protocol
sources: b8a2ea6718de3cf0a3f87578d8cb94acf8e6e4df
input_heaps:
b32ac976cdb9d7611cecd21164b5d37d166a70f2
7833fe06054d8c848d36bd9abf4e4e615831aef4
2028385119fafb7bac5001679cf939790c300aad


