# isabelle_session_info

session_name: HOL-TLA-Inc
sources: d037ed8ceeb13efd085e0b310c36b7617dbd9cc3
input_heaps:
41dfddd2151ebee28efc9e26dbae12c72d1935da
81c9499a7df86d3b7533ed9c6efc8881fcc10f44
eaf592a6f1015871125d319480356c31b9b3479b


