# isabelle_session_info

session_name: HOLCF-Prelude
sources: e5c84c99cb0a1ba9310cb41aaffb973bc7b25664
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
79764dc49c42e04d2f2d7022e68e8df538e9cc73
de9ff781461484f19324503b789f1b48b37a2b24


