# isabelle_session_info

session_name: HOL-TLA-Inc
sources: 814d63844229785c8c3867cb4d4672868ef2303f
input_heaps:
ec38c69ced9abbac5955142ebffe44a25bf3d7c7
ec19d5c86bbd8efa8e997b4a18973411183d4768
073c1265f91010b2a6e73a4ef5d60920fee36d0c


