# isabelle_session_info

session_name: HOLCF
sources: 96f879fee38e439a0ebc2494c5728984946e875d
output_heap: 01775cb06c0d566864bd85c950cad983b9d435a1
input_heaps:
3427243aba6cf13954f2663e89dd0ef448f9e0ac
8098a84a13d7e74c846fd42de0efb751dc599e66
90b35308e6ad83ab058e2b9034c34afdb7825425


