# isabelle_session_info

session_name: HOLCF-IMP
sources: 25baeb6213ead341e4eb5426feac7c1014a5ab94
input_heaps:
3d2535d0e4bd099c4cd2accf026f19c1b93bdee5
50545c59d9a0cde6fc6aa2a10bdc86c2adbe3a47
5fdcde6d18a35eda1496fcb89eb0b0641ce2cbb2


