# isabelle_session_info

session_name: HOLCF-Library
sources: e7c3994fcc01ea8587e758a919f3310b18162c85
output_heap: 23e5aa6e41c4deabb0085285b9e6f6e61a5c9e31
input_heaps:
6ac43f2621aa23038ee2871857f943ba5725a1be
0a49de4572e2bdf8c075b39e270ef0518fd9ac93
14af51337e9cef414d1b9a25cb0cfc82face1298


