# isabelle_session_info

session_name: HOL-TLA-Inc
sources: 1fb5319a95824768dc82dcf3f25e125f20b890bf
input_heaps:
3d2535d0e4bd099c4cd2accf026f19c1b93bdee5
50545c59d9a0cde6fc6aa2a10bdc86c2adbe3a47
f48bc3c5bd676be03c4bd48858bc1a100792bee6


