# isabelle_session_info

session_name: HOLCF
sources: 85da8b0c9ac7d93c12778ef40e263ba391eeb788
output_heap: 755493b281714829b672a008c88923470cda335a
input_heaps:
48f87baeea618bf8b318f4114ee7c34a4c78daa4
981191c027fddebcb6f024ef53e3329b8a2eeb45
6f46af6086a370a3c4d2a32ec844330336128dd7


