# isabelle_session_info

session_name: HOLCF-Library
sources: 944d9a9f3b4f280e224f2e287b8775df4d034066
output_heap: 075c0c253fdbde8e9d96598ce5f4094bb4b304c5
input_heaps:
d50d23da2fba2fa66eac370561c930ef78815f64
42ad9fe34f8eb64ea2663c9e76a55f6c21a58507
f3c0eb87b6ea50244ffd6e2056021450d8313ef5


