# isabelle_session_info

session_name: HOLCF-FOCUS
sources: 5f7d3d240dcb66402a4e0c4db1d8c5e15bb7dbb0
input_heaps:
ccf9b9418e9c76b5688e2dd3ccca778f920a9297
2b81ca4de31fb7c354e77106786e7248d054178d
d31a005361b48528fcecf80177a5bc26de0a8b50
29de64e85d699a878191c29ec5d5fd256a5654dd


