# isabelle_session_info

session_name: Refine_Imperative_HOL
sources: 15cdaf28ae5af322752a539691173628b88cf159
output_heap: a250b8a6d20459cd9144e8496847297d8013d121
input_heaps:
e003033e0a1df248159cfae37f3521344e99dff4
bd9d5b59f62cee787b745a18e37ce78675bf828e
30eeac94b81bfe234ed36cb0c6d8026fdd974767
be893b48bf1964edf3e68c880cb5becf4ba1aeb9
fa1815b8175aba8afe6dbdbb2d26568717e60760
7c8b60b0ed097b66f29578f0ac22f84f12f0c815


