# isabelle_session_info

session_name: HOLCF-FOCUS
sources: 7ac6cb137d73f616e9539a0c7914d645cbed5e47
input_heaps:
ccfe400cf73fd62fd12acb34409977712e22d6e5
10dc6874cfc163bd3ebe399c64a6eed2318ef64b
fe2df9477e547296022e00148fca3781495ca840
9f5fdd80376452ba8de2f3da79605e091f816fda


