# isabelle_session_info

session_name: Refine_Imperative_HOL
sources: 32297a1bd7fdfa359e7d10285f353120b2a04c03
output_heap: a2e027207d6046b8fab309e77480d33daa1b52fe
input_heaps:
0779f416e0333e930b31960d36caa48e35918b68
b6896307526a9838816e0ef6f162a79ce98e509f
db425a9259037423f4e156b4720884a93225bec8
3fbd0146b4e5873479c687e1e5585ab512d82083
5194aa18b86f6ad691dcb6298c8a53536a5dc3e1
211e71e3dc7b2d89710557b49457dfd094d84c44


