# isabelle_session_info

session_name: HOL-TLA-Inc
sources: a90d74467f23dee91118bc3050d6e30d4ad8ecfa
input_heaps:
157872e777819e45a1354c5e9b25a0e090aab99b
a20ae71f22856b1683f32d476fe747cfb705bad9
5113a9b1c63320c5260f497bf12bce2f262feee5


