# isabelle_session_info

session_name: HOL-TLA-Inc
sources: 6f61536c42ed32d5e369430b636dd2ba5f544a4e
input_heaps:
5854d6758689c83aab18dd02aba520db4dc6bf79
c08feb1745cb050bd06411837cf1536009c8c293
1f407bc0b488a85fc80cd9d62fcee75b07d82a1c


