# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: 73cec56dcb9b5cb66109bc5e526c14504e4b8147
input_heaps:
4b2e4ef84f2f7c72f1d619e9e1af08455389b338
22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0
8df55c697be7334755fa6f7d653ff1b3ba8d9e42


