# isabelle_session_info

session_name: HOL-TLA-Inc
sources: 3895a9ee0043c74bbe066f99c97a8ffbdfef2fcf
input_heaps:
0c5a4afe0b9501e0ce9b4d420c798cac3bea6e73
d8f435e385accbfaccb5be9a9486618794bd571c
def01e5bb30425706b670d63f88666859ace49be


