# isabelle_session_info

session_name: HOLCF-FOCUS
sources: 834735d585429a67a2e452060c313f5d6b583f93
input_heaps:
3d2535d0e4bd099c4cd2accf026f19c1b93bdee5
50545c59d9a0cde6fc6aa2a10bdc86c2adbe3a47
5fdcde6d18a35eda1496fcb89eb0b0641ce2cbb2
84901d3fc7b0767da5cc8155f53512b9964979db


