# isabelle_session_info

session_name: HOL-TLA-Inc
sources: a1637c9863d21b2b71751579ecea3c19fb65a857
input_heaps:
ab8738f36a5910b081a8af85f9c6bcc719678f27
6b267e02f6fcbfad775a6749db140d0c2835f978
b532bfc2987d5a67a8f0959923cd404412667292


