# isabelle_session_info

session_name: HOLCF-FOCUS
sources: 64985f8fd14d30d90d168bfefc0ad1836cb030a8
input_heaps:
19126f922e3aa9c20f5a31237f68a37a6d2cdfb1
078fec9a335ed8e63b0d7f40d8edca7f752c4fb3
29d3e46a1973264bec2032296f0bd4923216750c
9ee596abab8c3f7ce9f0ba1fbbac338d81493d21


