# isabelle_session_info

session_name: HOLCF-Library
sources: 5673d8dd5602125a97dfe8e8056d70a110910ac8
output_heap: a40bc7c4fc71005e393bac283e20b965061a7505
input_heaps:
c3eed4da8d2aaf2ad54b900993bdd6f7717404e6
f5ae9f289847647563f612b35004c35ff6735c80
6a0495497e4fe29e748a288ba8138e6ef472d52a


