# isabelle_session_info

session_name: HOL-IMP
sources: 484474e4488b340c251222faccbea37dfd0140ff
uuid: 5201ab7c-c2d3-4e00-b3d4-19f490b16468
input_heaps:
16995642ff9d6d081fe3569bf6578b599bfc50b5
e2f00078e9a5e8bef38f416fe533f4c0bd843120
6d5104ef027c2cb96597dd4d7f68c04f0ec298cd


