# isabelle_session_info

session_name: HOL-TLA-Inc
sources: a1637c9863d21b2b71751579ecea3c19fb65a857
input_heaps:
9f7624067c9c5a93ecbf4163df24f4baa96ccfb8
980718f4f514a820453424182546260094c53e14
11b793ea0add4e2007b470ab8fa7f4bec7b977f0


