# isabelle_session_info

session_name: HOLCF-Library
sources: e7c3994fcc01ea8587e758a919f3310b18162c85
output_heap: d42caf8462120ca5715b2eaf0d1d58fb043ad4a6
input_heaps:
0bf2a27c0ff6a611e74bb01f6f32875f555cab28
92784c842d19725f296c8ccac91815ef43f559b8
edb2ad3375556ef2d33d093a4459dc4a7573df99


