# isabelle_session_info

session_name: HOL-TLA-Buffer
sources:
57beed309d1bedf7ea9b236aea7d0c3c9814e127
82e371629981c6c5741397e57ab64961b9b60019
e87cd067d21dcdfa0f1a246c533c584f402e0ac4

input_heaps:
30107fd93ce37db2bdd67b83360028ac0c573143
925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76
20d95d3a873e57f857bd8a5a1b757034dd712a28


