# isabelle_session_info

session_name: HOLCF-FOCUS
sources: b0773c837f4f4980fa009a5e2882670cf9f43bd2
input_heaps:
7cc5d7b67eefb3145a6bd031e9e428122873dd58
2b38b21bb020af401d93ba78cae4d9eb8cec724a
442d555a9ca7faa04d8b58aa1075643292a8f7fc
a8a02a3a907ffbc5eedb8e0f77406e54fab9e5c9


