# isabelle_session_info

session_name: HOL-TLA-Inc
sources: 9605845e697636bd6c27c04ccebd748eff9b252d
input_heaps:
c3c66997e101ae0d4d60e2015f416735a6604f5d
2ab3dce101c373e21ec100743fd5206a95586409
f8d8aeed5005aaa7cb864dc8c24cc546c87a2b85


