# isabelle_session_info

session_name: HOL-IMP
sources: a89db5abd846ac0ff409c53991dab18798cb8a2b
uuid: c7a3e442-140c-4081-80f2-9728aab3a6d6
input_heaps:
6d690cd4904afc3b28afb37e78bce5c68e51dbbf
d608db88fa3d6d94fe9a1b191595fe6aa82e61d3
aebd6c76484da54bdd8bc867ee7bf6594438e960


