# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: 5a66a52a3ae099eba86d5d0583a2c4b183f2b097
input_heaps:
d2fed5b8463a719e2f3fe546c701ac5c0e920ab5
cc137faa7d41fea458e730d08d19187f36b2fac8
d5cab33260966b18aa98d04f0e629a76de16746a


