# isabelle_session_info

session_name: HOLCF-Library
sources: 5f1491380604177bbc875dddd8cc83d1aeab9897
output_heap: 9173a69a37dd1ca8186721b5319fcace6de7294d
input_heaps:
3fe17abdf9fa7db8d66f05d71667c93b38e5fadf
8e9bb4e670ef60c93ad8a51482f2cacfd3a804de
2ea1f5e34248faf457e26c7524748961279dcc2c


