# isabelle_session_info

session_name: HOLCF-Tutorial
sources: 390e041148810e86c3904485496891641c59ec93
input_heaps:
0bf2a27c0ff6a611e74bb01f6f32875f555cab28
92784c842d19725f296c8ccac91815ef43f559b8
edb2ad3375556ef2d33d093a4459dc4a7573df99


