# isabelle_session_info

session_name: Refine_Imperative_HOL
sources: e1705166ef5c1148301442688d7bea640b804056
output_heap: b2237fba9418490500f91531ef4994284f981be7
input_heaps:
3bce9911b38b26864d8838a93be3aef5c2b77cf0
d2df9ff441ab15caa535de40de1e228d1854fe2e
3c7aeb217fd44c7460b5769cac1ed10d140ec2b6
b2cc0d56a314f05468c6e67ad37972ea81ed355e
13d6fe975d1741aa4af55ecfa4494c65942e7d59
7e84921febd389da40f1e1c8f844421b9f8b86e2


