# isabelle_session_info

session_name: HOLCF-ex
sources: 02543b18742f2fbd4bc6dc2c4768c57a790b9acd
input_heaps:
1f11aeb0b5cb58822b61789e97e7af2cf416f0f7
064d95192f7eed013868891c67a843698304438a
ff48b9fc79616b356889523312f0990ba7f74343
1552d89efbb7582a4f63a8c0f7e4857d3b5a10dd


