# isabelle_session_info

session_name: HOLCF-Library
sources: d6246c755137ca25863320f5b405a4b68f336651
output_heap: c12a8a78cce9f315a39937ec9670a8b715b5c2e8
input_heaps:
408130f68e215ede7936ca4ab0eafec3d85e645c
f28cf806c632fbc2897c47bd2481cf58fa5266f7
8a058186ceda17b65051179fc5b64135de319cc0


