# isabelle_session_info

session_name: HOLCF-Library
sources: a82f483c87dbbe8ef83ca95fbf448a6bf61b0ef7
output_heap: 13f02763357a2395d2c44be5524428d86fb55163
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f
63cec139519c70fe290e4085ae41a9e937cfa8e2


