# isabelle_session_info

session_name: HOL-TLA-Inc
sources: a3959c75b2a45b1dee1c241cbf64bf35a293e78d
input_heaps:
e73c8f63bd95850d065fbfafb34179614f242f89
69a950643537831e45281aa33a261ce80ba0e395
08bd19e1354b2d16710af5bbf9ad561a9cfdbb74


