# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: f7c54172ffc0cfd7ade2925b3a2007cb6daf674c
input_heaps:
fbf1d73320eec6c763263c6f73f4f8ea76918e5d
12ca8fad7c37c4403710460d4209f1fd250d649c
e55bb94eca11bfb825a62b6a14e5760f7d09306b


