# isabelle_session_info

session_name: HOLCF-Library
sources: ecbd4e0f9c77dd34e02afe5e473f46569931e00e
output_heap: b7197366ab498bf1c4d6eda898290096989e415c
input_heaps:
bfda3f4d86d49fd6800d54a9113d467455da22b8
c1d5446aa499fb1141fa91905c27dc8090a7a6ff
c9938a69e2a4b32e34f8ca9cea1acc2d022606df


