# isabelle_session_info

session_name: HOLCF-FOCUS
sources: 7ac6cb137d73f616e9539a0c7914d645cbed5e47
input_heaps:
79e36a03a6cccf01470337ebf2c8411e21d944b2
b93bed27caa97c9f4b1f44bbf588fb4ffdfc6b77
9bd13f880c3a5944e8696ec31889198ce727d269
90a29e85f35bdcb0f18e17ec1462e7fc68df625e


