# isabelle_session_info

session_name: HOLCF
sources: 9a0c35386ea2305bfab4cbaafaf9cab1ed69f47c
output_heap: fc03e3f36ab86c24875a3aa3b4cff89f4096dcfd
input_heaps:
d45c74c3c975463d5aed11161e8ffd9a51437a45
4473f24c6908ad0badf5e15532763e307c56bd29
9a935d177eb52a94e4456ec4f5b63c99be8e2aa3


