# isabelle_session_info

session_name: HOL-TLA-Inc
sources: f19b67c0e3c28bd64677825e32584a0f27f4bb56 fc6eb76f4f71f20609e402f2e6f12617ba126277
input_heaps:
014fdf73a0b928fde39c061b3b448884e65fa152
f4f811683dcda440eaf96bee8739ce28e3523afa
29f2d58e3e0ee951d0c54b1257889e7bfd6185ab


