# isabelle_session_info

session_name: Refine_Imperative_HOL
sources: 37e6f56b82e7eb6e6a2779d53984f2ecacf4b9d0
output_heap: df2fc8f6d442848206f42253a6baaf41706a51de
input_heaps:
620eadff725bc3b05da1385b39718d4bda69cb83
d38c17f13a61f3f3f61d0943e214e1b4c397de15
880a11dd6b6fd6ba3553e480b625ce342734f11f
598caece2381f7636be86fe9c69eb088df99b446
d3799f7491dc7dc39b40794307e366b2de529542
b50549f0ad7f336874d0e0a79f6b3eb6856ba672


