# isabelle_session_info

session_name: HOLCF-Library
sources: a194d7fd0939a12eaf8371a8081a5f5d7f46f5ce
output_heap: f740e89d1853ff26cd1e219ec4626ef79e4dbce8
input_heaps:
4b2e4ef84f2f7c72f1d619e9e1af08455389b338
22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0
92b4e13dba5295bfc710779f7d0677aed6cf27c4


