# isabelle_session_info

session_name: HOL-IMP
sources: da6e464d75ea0eec7e766016865802f06de06988
input_heaps:
251e84464f07fc24b34045ea856283ea3577dc88
df9db6ac00dfa405c9354e6fef96c332e793f1b3
1c6cc020ae08c3814ae7db5cbabd7b1d1367ce9f


