# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: ff6eb3b1394699af2b33e9be20e2b1285744f6c6
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f
b477d933817a474b6e7ac2f1f3c3070636e55f37


