# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: 6d5644ed742adb728c98fd021577b938e52441c0
input_heaps:
c2093642ce0e52d658430117f07a6a10f135143e
958f81e74e154e8719a792f45217a865d1da1a47
e61169184a795bae3065f62202eb30a4952e8999


