# isabelle_session_info

session_name: HOLCF-Library
sources: f925971ef73dfbc1ce3491fde204c8ca8e878f96
output_heap: 4f04c780077b21b5e5be3f524ed221d0b7e1def9
input_heaps:
634a34b0a78430c8365c904b4a02a2bae50a7baa
da3f4711496f4ebba63bd289462f3fdd0cd836c3
2ec0a94b3cb0e3e484d20cf2e7a52a70d368dd55


