# isabelle_session_info

session_name: HOLCF-IMP
sources: 2dd6a16a4a37127840d82686f7d520c51846b348
input_heaps:
04546e13b3ec7f70b074138ed2f4d8667390e734
094d1060cfdb72ebd3fd1291784fda6152066b69
1dbe3cf33db494311b52c74a5cce98031f001a35


