# isabelle_session_info

session_name: HOLCF
sources: b9b353c179f6230f82fdb1f5d3e50f04e32dcbb9
output_heap: 4e7bc532b95eb5fe1315f15c694eead5576b7834
input_heaps:
cb9068c52176507145e624acbeec2272a10e4f6a
87206ccabfeb1d393ed2571f867fc3906cc88dd1
fc60ea1877710c55efdbefd683bd6d53b3f57175


