# isabelle_session_info

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

input_heaps:
1d303aa48c02fbfb8fe205c90ee243804756e6a6
3e7d2e5aa099435bba6e4e30f924c9df17b4a54b
8dfeb2362f33ca8f617528d62722fe465c48da0a


