# isabelle_session_info

session_name: HOLCF-IMP
sources: db7b0ea71994c5c46a142e921ef96568c10721e2
input_heaps:
79e36a03a6cccf01470337ebf2c8411e21d944b2
b93bed27caa97c9f4b1f44bbf588fb4ffdfc6b77
9bd13f880c3a5944e8696ec31889198ce727d269


