# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: 21dbe1dd609bd128b49d29b14ec32cbfc18314a9
input_heaps:
e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc
976e5be91d6c7e38fb802dbd687a708c831185d2
d8052b375d845d4f36c3be0d03c4ce989e4b517f


