# isabelle_session_info

session_name: HOLCF-IMP
sources: 09ed83c3e67f053252ec940f45f1284662d5b73d
input_heaps:
1f11aeb0b5cb58822b61789e97e7af2cf416f0f7
064d95192f7eed013868891c67a843698304438a
ff48b9fc79616b356889523312f0990ba7f74343


