# isabelle_session_info

session_name: HOLCF-Library
sources: bb0f02a27e2baf519b631308f58b10c2ded68d0c
output_heap: 0bc87e480080be0969625ba8285c1ded7442e816
input_heaps:
6f2ea6ab0b5842682397ebbb65f675c6588578c2
e101bd57939f33c881a2cb79f6e6b917cc005de1
542a4e488b977119020a5c98f66b8e1daf96e42a


