# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: 66d0606ae5df49028f3a0d4a4a64a2ce536b7484
input_heaps:
0c5a4afe0b9501e0ce9b4d420c798cac3bea6e73
d8f435e385accbfaccb5be9a9486618794bd571c
def01e5bb30425706b670d63f88666859ace49be


