# isabelle_session_info

session_name: HOLCF
sources: 1bcf8296f24ca9c33e664b219b04fe96deab2162
output_heap: acf7a9a550a70f1e29f0d8195eb3b53ee81fa66c
input_heaps:
af1e669e0b71dd56bcba24adf3b86252347d5dfd
2069bdbc553872fd9e4a20143262cdd7b09dfec6
8e0843e82de9b2ac5c6064ccc9a0dc0946169aa2


