# isabelle_session_info

session_name: HOLCF-Library
sources: 6500b4a222709fb16b68d2619f606a7236f3db46
output_heap: dd36f0a8d14cf146df9ede64f5fa2dc8a2070c20
input_heaps:
2722ec1bc2993f9863f5084b9ee07bd97dd3d36c
3f001195d7415da4b8cf06d884af4e156b801fea
3a17c0ce9290c79b4fd8792ec0f608bfe9382061


