# isabelle_session_info

session_name: HOLCF-FOCUS
sources: 75f9c3c51092c8262115deb5aefd27e4a3e72bd4
input_heaps:
f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09
ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf
2529148cb00af14d06702c18665dd405f71110ec
2c9c75a2a901b51a1c2373b89cc0cad5f0265a13


