# isabelle_session_info

session_name: HOLCF
sources: fc4e541880e0e967179474f350dbede35d11cde2
output_heap: 353824b9430f424fdf78d076a69e86b2249e7d98
input_heaps:
5422efde7cb6d9163378abac38277ec5e6492f3e
c3b8cdb1a9872d53a481a837a5767dd6c1d96ab2
fb804ca3d94ce174085e203252226b3b2549f907


