# isabelle_session_info

session_name: HOLCF-Tutorial
sources: 740b2381d80e6315ac702c29967ccda1dc35fa46
input_heaps:
634a34b0a78430c8365c904b4a02a2bae50a7baa
da3f4711496f4ebba63bd289462f3fdd0cd836c3
2ec0a94b3cb0e3e484d20cf2e7a52a70d368dd55


