# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: b76177e0e54affd6a432263271e9ade85fad1354
input_heaps:
848658d617e1d31408814b70d854f0969b4d3dd4
982c966f6e75dd78217f02ee347fdcbadf6f26c2
0bf0e459f3f1ceb8ab7cce2f5e11d85e95b199a7


