# isabelle_session_info

session_name: HOL-TLA-Inc
sources: f5d0b767985b695a5d93137c94a7889e9278d7bf
input_heaps:
634a34b0a78430c8365c904b4a02a2bae50a7baa
da3f4711496f4ebba63bd289462f3fdd0cd836c3
856b0aaecf4372abc7cf66b40ecbadba391aeeb4


