# isabelle_session_info

session_name: HOLCF-Library
sources: 4e10c51ed8f3ce173560f3e45d246b0072053745
output_heap: 76fe9129220e1fc8103ebe105f83a6e0c824977a
input_heaps:
c3c66997e101ae0d4d60e2015f416735a6604f5d
2ab3dce101c373e21ec100743fd5206a95586409
989f1083c9316a9bfb6ceb0f413faa465f6fc68a


