# isabelle_session_info

session_name: HOLCF-ex
sources: 5d2827f318a6245508671e99869f46b9d1d6ea01
input_heaps:
ccfe400cf73fd62fd12acb34409977712e22d6e5
10dc6874cfc163bd3ebe399c64a6eed2318ef64b
fe2df9477e547296022e00148fca3781495ca840
9f5fdd80376452ba8de2f3da79605e091f816fda


