# isabelle_session_info

session_name: HOL-TLA-Inc
sources: 8f6c93a16d12a9b9bb9e60703cefcb93e15c39ba
input_heaps:
79e36a03a6cccf01470337ebf2c8411e21d944b2
b93bed27caa97c9f4b1f44bbf588fb4ffdfc6b77
56d9bec357b9821cf8e9fbaeaa3b85247667ad39


