# isabelle_session_info

session_name: HOLCF-ex
sources: d2964e1227eba6e635270b03cc1a0516b8a83509
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
ab343e3c85422366ae7fca07d3711e53569f94a1
370fef80b3b2b5405e7d7107d183db20860c9e70


