# isabelle_session_info

session_name: HOL-TLA-Inc
sources: 814d63844229785c8c3867cb4d4672868ef2303f
input_heaps:
fa72548ea64381a3258466aa0d212c84096a68ec
8d1621b83c6b83f04a9457e06e858acde63b0083
56820068427e40062f601bb9e3234e3f303d21d8


