# isabelle_session_info

session_name: HOLCF-ex
sources: 3342ed83c1616cba58c17f34ef4fccc8f9b408bd
input_heaps:
3fe17abdf9fa7db8d66f05d71667c93b38e5fadf
8e9bb4e670ef60c93ad8a51482f2cacfd3a804de
2ea1f5e34248faf457e26c7524748961279dcc2c
9173a69a37dd1ca8186721b5319fcace6de7294d


