# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: 90197e0b36a51bc622ee426d638f343e95aa9f73
input_heaps:
82ea62db878002abe1f561b243b2cfa9fc698016
3eb7c68d6e834ba5513637798ddd089d7ebc1253
6f13af445292a7e3bdd3c511e3eb745c4b29be39


