# isabelle_session_info

session_name: HOL-IMP
sources: 2740f464b77545c6d7c72d92e84110d50c18d831
input_heaps:
453b001c09ff735701b1550cb3c993764c9b9b6a
3f6e51873188e0c44de8bc52bec007be4fe630db
3c0a1e14ba6d3f892aec94bee369d02437602d54


