# isabelle_session_info

session_name: HOL-TLA-Inc
sources: a1637c9863d21b2b71751579ecea3c19fb65a857
input_heaps:
6ac43f2621aa23038ee2871857f943ba5725a1be
0a49de4572e2bdf8c075b39e270ef0518fd9ac93
15c3e3055d73b5cb928248b6b064b1f342fa2e96


