# isabelle_session_info

session_name: HOLCF-Tutorial
sources: b8749c539d0fe21dc354c7eb43af01445967c810
input_heaps:
04546e13b3ec7f70b074138ed2f4d8667390e734
094d1060cfdb72ebd3fd1291784fda6152066b69
1dbe3cf33db494311b52c74a5cce98031f001a35


