# isabelle_session_info

session_name: HOL-TLA-Buffer
sources:
393c0c211db055a5cfee38a14f391178cc97d53e
82e371629981c6c5741397e57ab64961b9b60019
e87cd067d21dcdfa0f1a246c533c584f402e0ac4

input_heaps:
3269756b47a6a9653987fc2e45e2efe5ac3c9347
235bf9bd90cd9323492bca5d081941b77446f18b
af38b22688e889a9a6665388fea642983cab603b


