# isabelle_session_info

session_name: HOLCF-IMP
sources: b5a00caa09f612a41c36d5ddd24b5a8cd11fc982
input_heaps:
0bf2a27c0ff6a611e74bb01f6f32875f555cab28
92784c842d19725f296c8ccac91815ef43f559b8
edb2ad3375556ef2d33d093a4459dc4a7573df99


