# isabelle_session_info

session_name: HOL-IMP
sources: 0add54a08ad69ef26296dc7be957f113e1d08d38
uuid: e2462d39-bd99-4181-bd5d-3a8c42109c30
input_heaps:
980033d053f0749333661519c4d298c6280be1b3
69ff0e8818b8f465f2585ea0f57a610ce777e1be
f38759d1fce3ae187eeffcb386dd6fb5dc5783a4


