# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: ab2c623c7d97f26cc3c25f577f751849c8303d9e
input_heaps:
ccf9b9418e9c76b5688e2dd3ccca778f920a9297
2b81ca4de31fb7c354e77106786e7248d054178d
038299b55a6fb844b94017dca36fcf61c5fab718


