# isabelle_session_info

session_name: HOL-IMP
sources: 502d23df2f314b41d0df7e0a96414d65b3fb9504
uuid: 98d7bb83-cc48-4b7a-b874-11e1a789f70d
input_heaps:
79322249ab134c8554bd4221788419e922866e99
2387fc3faef59fbd5e6cfc1d5a002f4fe962a0c3
136b97fcd0c3fc5c379cdaec1d5dbc45076944b5


