# isabelle_session_info

session_name: HOL-IMP
sources: b2e1c3e966028c9cfad380d6ca2f510690c1d2db
input_heaps:
96ecf35e9f5cbdf8f83e1ff7c688f194e3fa515a
3553617e6f9cd74e9a13eab3e3ed1fb7bfdcc676
b1434bcaa02c65461366761ff321743a2e939e3c


