# isabelle_session_info

session_name: HOL-TLA-Inc
sources: a1637c9863d21b2b71751579ecea3c19fb65a857
input_heaps:
0bf2a27c0ff6a611e74bb01f6f32875f555cab28
92784c842d19725f296c8ccac91815ef43f559b8
52d9925b0fd725782f62aa8316a3afece3621c08


