# isabelle_session_info

session_name: HOL-TLA-Inc
sources: f19b67c0e3c28bd64677825e32584a0f27f4bb56 fc6eb76f4f71f20609e402f2e6f12617ba126277
input_heaps:
0dae525efa6f84ecf34af93ff7cba31c2592ec0d
8169f475732fbdf137107131aba0d9b3f4e56903
822c440d00c10e4434fb002f8143858d81590b83


