# isabelle_session_info

session_name: HOLCF-Tutorial
sources: 01d4739c7c18745613921e3bf12ffaca6c13b757
input_heaps:
eb1ceb8e6fbe589283624431f982bb4cb6a68cbf
9796298dcf06b68c0a6e01b47c62a23b47d0b090
da4bcaef15f7e85325486ff17d76dc8092e5c13e


