# isabelle_session_info

session_name: HOLCF-Library
sources: 75bc04b7200ba59a363a2e1141acde5cc2498b6a
output_heap: 1e50914156d4cb4b3c9d4471cc31f9d314f26e9a
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
2511fd22fe17e1fd6b6dbd308e169e5056946464


