# isabelle_session_info

session_name: HOLCF-ex
sources: 6b605656ac8a1d632bdda3a665eb30475e36562c
input_heaps:
d2fed5b8463a719e2f3fe546c701ac5c0e920ab5
cc137faa7d41fea458e730d08d19187f36b2fac8
082832ffe1a61638d3b69749fcdac631ff06a3d8
7bd04b1cdc6d65950146c45a540818ae668c7a06


