# isabelle_session_info

session_name: HOLCF-FOCUS
sources: 1cdc84b381629a874310d9c5832a63787057920e
input_heaps:
408130f68e215ede7936ca4ab0eafec3d85e645c
f28cf806c632fbc2897c47bd2481cf58fa5266f7
8a058186ceda17b65051179fc5b64135de319cc0
c12a8a78cce9f315a39937ec9670a8b715b5c2e8


