# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: 804604406fdf3f5c8c904b0a6fedf1459e3a6568
input_heaps:
408130f68e215ede7936ca4ab0eafec3d85e645c
f28cf806c632fbc2897c47bd2481cf58fa5266f7
2887fed584d09b04d7e0ac2b2132e7b658753b11


