# isabelle_session_info

session_name: HOLCF-Library
sources: 223025d6b7fc6823aa72d8c4f3ea2f4afeeee0e3
output_heap: dc832b3fbb034833fe62f1c1a64ff38384475d45
input_heaps:
3e7cae349853bb3f654071d127673716b1e97131
e76faa548233303457fe1f8acd3f956c35127c42
d27a9bd39f9a33803ac413249ea34dbe1a5d9ad1


