# isabelle_session_info

session_name: Refine_Imperative_HOL
sources: b1186655c4eb4df836211bb4c7873e1622de1162
output_heap: 23cfb90065e51a72f2de5899ba7d4b1636ffc815
input_heaps:
2f45ef79d98bf4791ca25c4e1af3b76b517203ad
1b41415026d3583c6b6bb0d2ec2995e8feb75528
896223e4f8544662e6d4ca2e83378be50109efd3
b0d4de4142e248588e368501348edb03abfaa715
e938199091fa224c3305a2d6a2ee6223eed66fc3
e8859b13bb90494f0eb457ac06fe04641a217e01


