# isabelle_session_info

session_name: HOL-TLA-Inc
sources: 45bf53246c91705511bb6d55b8fed2386cb78aa3 fc6eb76f4f71f20609e402f2e6f12617ba126277
input_heaps:
1d303aa48c02fbfb8fe205c90ee243804756e6a6
3e7d2e5aa099435bba6e4e30f924c9df17b4a54b
8dfeb2362f33ca8f617528d62722fe465c48da0a


