# isabelle_session_info

session_name: HOL-TLA-Inc
sources: d5b846d2d790ca6c9b15e45ec035335ff091d15d
input_heaps:
98dd477b080148668828b0f67c6e8a1d9708b3f3
2dc2b5acf411764d9a49dd03e6f20aef615ae67d
26526f2f7d5d13fbaa0d72be2656c901ecff5bf2


