# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: 73cec56dcb9b5cb66109bc5e526c14504e4b8147
input_heaps:
1e8a5e75562653ea4f095e5003b29df3c0c7dcba
bd3bdab246ba0ab9f1962b0a2944f493b5762d24
282e1506623c4623f4dfa2a522b16c4dd795faae


