# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: b76177e0e54affd6a432263271e9ade85fad1354
input_heaps:
7a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d
c778faa6bf8be5df05c2dfef635e886ae01138d5
b10b0c106f57b0f55b996a9fa55c29f929fed8be


