# isabelle_session_info

session_name: HOLCF-Library
sources: ad7dbd3b0d0168f6c712c2759b57e66e276469c7
output_heap: 1515d638b5c6f1de764792b143d62efb0f3d40b0
input_heaps:
c2093642ce0e52d658430117f07a6a10f135143e
958f81e74e154e8719a792f45217a865d1da1a47
539f07aaf9ac910a1fc377432863e421292c35cc


