# isabelle_session_info

session_name: HOLCF-Library
sources: afccee43c14efe2cd6897b410c064fe30c95d40e
output_heap: 875e2a3f00e1ee3f73c9c0aea146c32abfaa86f0
input_heaps:
3bce9911b38b26864d8838a93be3aef5c2b77cf0
d2df9ff441ab15caa535de40de1e228d1854fe2e
60d94e06ba9efc998508eba79baa6fbb1d73c012


