# isabelle_session_info

session_name: Refine_Imperative_HOL
sources: 5c6c313dddcc912853685bc7cf0ee7c78698e889
output_heap: 5b36cf17418d369066a97d0d756b2120d0eaa350
input_heaps:
5ef6d50342693f7e095d0dd59d86225835695d9b
fa5fe27d0d291b70d86441110e409cd4047f2f2b
71a93dd97205bc048130ce5c0dfb2434c6d799ab
f34d37ee74795ed0809f2386d419d21b65758633
b47601f28ab22d459238673c05e85b96f65cf3a0
9dbfb668d78ff6e8b3fbb3990f3576a6eb9fe154


