# isabelle_session_info

session_name: HOL-TLA-Inc
sources: c59f7dae42b3079005aef88938b2c33af963002b
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f
b477d933817a474b6e7ac2f1f3c3070636e55f37


