# isabelle_session_info

session_name: Refine_Imperative_HOL
sources: a01b300e09d8e51d67256bb8aa4dfb2981daf896
output_heap: ba02388baf38f4e7ab10d891f18ca46845f3d6e7
input_heaps:
e3d3de0c105787f07c71be3f3e76dafbe7c86cef
26af89b7d57c7a15a989446f8ee1ff99d4928d87
0080e44b3ecb23e316a4a5a70287ccdee62dbac6
48f8b9ff4ef4e6d4ea5aeb09d9fdde3380a7aad9
944d9606626b80a75c987034d1d8157915dd358b
4333ba2c60a45b1813b496bd5b17a53c6fcd222c


