# isabelle_session_info

session_name: HOLCF-Library
sources: 6500b4a222709fb16b68d2619f606a7236f3db46
output_heap: 1552d89efbb7582a4f63a8c0f7e4857d3b5a10dd
input_heaps:
1f11aeb0b5cb58822b61789e97e7af2cf416f0f7
064d95192f7eed013868891c67a843698304438a
ff48b9fc79616b356889523312f0990ba7f74343


