# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: d787c5a301453526e583cb2fec943928de117932
input_heaps:
a3a1775be1ea4baf5315ad6630d6c2542be8f5bb
f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e
85ac41a82360ca0bd60529546597e5ebf570f908


