# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: 5a66a52a3ae099eba86d5d0583a2c4b183f2b097
input_heaps:
071f7fa30665cd1599ab0688c2ebc3134f4d53a1
9735cdf9ab52c04e2b30aff2857f0646f946ff29
b3a1d570f70b7bf030aae41d0224a5057a6ba824


