# isabelle_session_info

session_name: Refine_Imperative_HOL
sources: 8d02e2414208ecab7c07cd279be8768e09edc9d4
output_heap: dc95d5a67fb2ea51a2baaeeae514cd59d2245a06
input_heaps:
fa7050467ef8f63fd56cd5cc004bca4176bf5785
29f89a8c8c3de749e3d8f52dbed7d75c52623d3a
73cfe451748312014ea39ff9fd184a7404380ac0
51d755c63a6b4ade021591e20dc09125ccd1d37d
f49992a83861e5686ec532905b8e1da8109b38e9
16115411fb343ed58f41bc070f48f5047f5a5875


