# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: b76177e0e54affd6a432263271e9ade85fad1354
input_heaps:
634a34b0a78430c8365c904b4a02a2bae50a7baa
da3f4711496f4ebba63bd289462f3fdd0cd836c3
856b0aaecf4372abc7cf66b40ecbadba391aeeb4


