# isabelle_session_info

session_name: HOL-IMP
sources: 57536599f4afb7b3534754c69495f83ff5301423
input_heaps:
80c594587f7c0182fd41f269932ab98b52794770
f36e5dba626524370b16749666a8ee92b5ffcb3f
fe8c3462a51b97f3e1a44c91114cce0c5c222a7c


