# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: 804604406fdf3f5c8c904b0a6fedf1459e3a6568
input_heaps:
2c47922654272eb4a217010ace00ef249f60f79a
f96e8514bd254f1fcb3e1d6b3a68cb0a3f4d2fba
954cac3983a89be1d22cbb2a6f0cce87c5637ab1


