# isabelle_session_info

session_name: Refine_Imperative_HOL
sources: 87495203d0ce98c76fe9babc5d378fc82674d566
output_heap: 5cd255c6d72a87bdff65b7ba89ae53c12238586c
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
6705246a9aac3c424670655bea8ea4e4ea62230e
735fa1c26c9a2f523eb06a577ab0d69c3a13b9f2
7285ca69e0e87490c84da0c57036e06167b917d0
8844db379f245b3e59e747d7dcc792faac2c6eba
398d4807142401728affb84506d6b63984ada021


