# isabelle_session_info

session_name: HOL-SET_Protocol
sources: fd4c53265d690102837a4627e5ae19cbc632836d
input_heaps:
2659ecda851d7452b7595126eb2a4699eabeda38
890f4cd952649b9567a6dd5c0bb3d155e02ba420
71e8ac1d58f88c3c1a3d48f9a5632d3f689812d7


