# isabelle_session_info

session_name: HOLCF-ex
sources: 6b605656ac8a1d632bdda3a665eb30475e36562c
input_heaps:
61532b7245075d4ea33812447b32dabbeba07b4a
3994299fe9a4f467e063bd0b975546ec5a4970e5
670ca3b0c6f16e44de7227000c0ef63afe050894
ab7e303c2b4c2a36c0d885d3ac8316311f217f3e


