# isabelle_session_info

session_name: HOLCF
sources: ca1620d77b08295234175da2a9ce57faa99cb7cc
output_heap: d3a6ec61a2067eb2844de6d42ed2fde68052adff
input_heaps:
e739dc532a6c80e6f5d762f572346ebeb03f4552
5c6d1467eb3dbc220749df9119f5083087abde6c
a222adeaaeeac8054ee14fb02b6697a4291344c2


