# isabelle_session_info

session_name: Refine_Imperative_HOL
sources: 0bf25c191677ab302a108506d30d708c3cafeda1
output_heap: 06651583858f5ce80211e8b214f834e7845789c1
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
2ddeff9c6ac654e4a0066e2a4eed2e24a610c057
de7c938c1cb86b01c0651104dc0ca753c5878626
b9cb3fe15ebf98920426a3ddb700775ad4ed59ae
4c2245d8195457eab7d55e5cecd2e68b34a946e1


