# isabelle_session_info

session_name: HOL-TLA-Inc
sources: a3959c75b2a45b1dee1c241cbf64bf35a293e78d
input_heaps:
eb1ceb8e6fbe589283624431f982bb4cb6a68cbf
9796298dcf06b68c0a6e01b47c62a23b47d0b090
06408c30d82e300c3d63149b040493eb333f6c70


