# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: f7c54172ffc0cfd7ade2925b3a2007cb6daf674c
input_heaps:
80336e722f2282f0e73859bdb2bc1deeb5e20e13
e71e14a4803a9741ead2aefcee7360a997c650e5
430d89866d79c7aea8843a10d1818ad105587a89


