# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: b76177e0e54affd6a432263271e9ade85fad1354
input_heaps:
ec4f72521e1e679fd5cff6fa91e397c5873c6432
dc95e50d9809fb8249d7a6a630b1f18cc52d769d
978cd6df11684acf5b4a0b0882cdfd6f0cde21c7


