# isabelle_session_info

session_name: HOLCF-IMP
sources: 04c1aa6443673db5a4cc2b3ee763e24d6e4d05c5
input_heaps:
408130f68e215ede7936ca4ab0eafec3d85e645c
f28cf806c632fbc2897c47bd2481cf58fa5266f7
8a058186ceda17b65051179fc5b64135de319cc0


