# isabelle_session_info

session_name: HOLCF-Library
sources: c82fc0ffbd5987140e90a284b2c3b7866d494dd9
output_heap: 5a3bd5c1f6163bdf5a094a13d2f3c11c8bde9977
input_heaps:
41dfddd2151ebee28efc9e26dbae12c72d1935da
81c9499a7df86d3b7533ed9c6efc8881fcc10f44
00c52217ee265f36cb0323afec3080794ee45c38


