# isabelle_session_info

session_name: HOLCF-Library
sources: f925971ef73dfbc1ce3491fde204c8ca8e878f96
output_heap: 8ba1001f3b50321479daabdffce04a8088a02d16
input_heaps:
848658d617e1d31408814b70d854f0969b4d3dd4
982c966f6e75dd78217f02ee347fdcbadf6f26c2
4a91b0378458a25b79a30d005e804f494c31721a


