# isabelle_session_info

session_name: HOLCF-IMP
sources: 82e5c64432af4e0c4dd18cf2848f40ce6b61b872
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
24be91445dfd95ccebd8630650aef4cacbc92e8b
9d45b45b04770ad8f814958e40d780ac8d52e233


