# isabelle_session_info

session_name: Refine_Imperative_HOL
sources: b8517b44c9f38c28c79f40f22c05babc7330da14
output_heap: 697a092c0d8f66eb72a30635d41ce87122edff77
input_heaps:
4b4d09c9c1841a4f01c8958af89ec039a11204c4
f852689b23f90c1209b23c794bf5ab75a3b8eaf2
e650868a8fec8e0f04be9c5397bdd9d9f03125ed
27471260a385ade7428ca088e4bb6e156c7ace1a
4ab85b266e4e9756142129cf2f6637814181d291
02394165d07076b93f9332fcc8867be1c226c7be


