# isabelle_session_info

session_name: HOL-Imperative_HOL
sources: 60c9c0fb85bc733f6bf4f42f4e7a09241b8b322d
input_heaps:
e216e8eaf6a375ec18ca24b2ce78310b303039d8
9fe695dd2fac74756be62bf1a9c01ff965a54e63
04a2bc7cfa07d840d648901c142a1b52d29d9296


