# isabelle_session_info

session_name: HOL-TLA-Inc
sources: f19b67c0e3c28bd64677825e32584a0f27f4bb56 fc6eb76f4f71f20609e402f2e6f12617ba126277
input_heaps:
8c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3
d9e883ae99affe5ac273ba1c889b8ce1dc4817ed
3e5e69ab4db0c5555230db4693bc0a6e47966199


