# isabelle_session_info

session_name: HOLCF-Library
sources: 0bf768dd4fa727bffc2a0aae5a3a8e2497df2f7e
output_heap: d92b21034320defa64a4b113ac4f8c95f819d7c5
input_heaps:
f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b
35eaa225201857107e827622fdda13b757fd8deb
99ecd7f7cfb43e2f575ac3077627e2c33001f83e


