# isabelle_session_info

session_name: HOL-TLA-Inc
sources: 814d63844229785c8c3867cb4d4672868ef2303f
input_heaps:
3ae2375acf5ad0714f3a37416d1e1b869b0d64f3
83c11cd2d2233ea3dc1e858589b3d86c6d162e2f
dbb0c7ca072f867ea40252389c9555863f9f1c5d


