# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: 5a66a52a3ae099eba86d5d0583a2c4b183f2b097
input_heaps:
61532b7245075d4ea33812447b32dabbeba07b4a
3994299fe9a4f467e063bd0b975546ec5a4970e5
aa09887d40b809c628eba50b730d6f9e42763dfb


