# isabelle_session_info

session_name: HOLCF-Library
sources: 2d7eba7c5a4401f298f0ceac14e16baf2fcbd8a4
output_heap: a439cd92e6f2ebb3af9344ad9ddcdd6ec2c4aef5
input_heaps:
eb1ceb8e6fbe589283624431f982bb4cb6a68cbf
9796298dcf06b68c0a6e01b47c62a23b47d0b090
da4bcaef15f7e85325486ff17d76dc8092e5c13e


