# isabelle_session_info

session_name: HOLCF
sources: a61c008dfb9ebceab3a6779dc0a2eea0a7e6bd81
output_heap: 0e624780976faa0f32a31493561f5d2790d0886b
input_heaps:
0f50a8fd984ed9a922d06f59b224a37ab44e72f2
fd8ab938506a6adef84d05e82b2423fed153db7b
c628637a3499d28ce3d263cb68d7f9d43c04ca92


