# isabelle_session_info

session_name: HOLCF-Library
sources: f925971ef73dfbc1ce3491fde204c8ca8e878f96
output_heap: 62ac21361780a222ce31d08cd83b9483f860b094
input_heaps:
7a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d
c778faa6bf8be5df05c2dfef635e886ae01138d5
08f16121155242c6676ea67472d405d5f54a3b7b


