# isabelle_session_info

session_name: HOLCF-Library
sources: 64852f80e56af5ea7987ad0d145d629b347cc8d6
output_heap: ced1408669861f3661af559b88f8dbbdee8f8ef9
input_heaps:
fbf1d73320eec6c763263c6f73f4f8ea76918e5d
12ca8fad7c37c4403710460d4209f1fd250d649c
bc16e6baae3a5e83aba2324a29417a234c984101


