# isabelle_session_info

session_name: HOLCF-IMP
sources: db7b0ea71994c5c46a142e921ef96568c10721e2
input_heaps:
ccfe400cf73fd62fd12acb34409977712e22d6e5
10dc6874cfc163bd3ebe399c64a6eed2318ef64b
fe2df9477e547296022e00148fca3781495ca840


