# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: 37ea9fe80e27c9e48bad8fdce3372acbe0d66a17
input_heaps:
bfda3f4d86d49fd6800d54a9113d467455da22b8
c1d5446aa499fb1141fa91905c27dc8090a7a6ff
3ce1f51436db3b8cf09a0d8d87853d7be2ca4a9f


