# isabelle_session_info

session_name: HOL-IMP
sources: d8e0a0a9e0843683363767ed86bdd58b1374c645
input_heaps:
334e417d7f04d08dd2e235659180091543a44765
45912edf3b76cef52f4da1af88cb975398527801
aa23eb9a60b4dbc53487cf0ce9f3b98f4bf0498b


