# isabelle_session_info

session_name: HOLCF-Library
sources: f1badc4c39d24b6fd9763b2ed95162e076bf5eed
output_heap: 802838ed309fac3a13f63fd4ad575eda08750a61
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
fdfe4e61737996684170e76c942ea2a1237ad4bb
a1d2d38f36069b34ce99a172c87f070ff7d8bfde


