# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: 9a547d9f9f3034fbd20250dca5950a9c404491b2
input_heaps:
5f6b46d75794d7d779141526bb8c5d38bc06bffe
14fad242a862a8a0327553b16251c149a42b3da2
b69bc295a180868d7e76e7877a4bc073f6fd999a


