# isabelle_session_info

session_name: HOLCF-Library
sources: ecbd4e0f9c77dd34e02afe5e473f46569931e00e
output_heap: 7a47916e7ad0392b5f883bfac573c449ce42ec6c
input_heaps:
3ae2375acf5ad0714f3a37416d1e1b869b0d64f3
83c11cd2d2233ea3dc1e858589b3d86c6d162e2f
483850ac922bf07a73ea07d283526f252790e533


