# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: 5dc9459a2354ffcce10833fec6c75686f10f6c7e
input_heaps:
f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09
ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf
66531f060d35b5070531b02b066cfbcc588a7f40


