# isabelle_session_info

session_name: HOL-Imperative_HOL
sources: 0174f1a7ded00963061178d02c9743a536c5324c
output_heap: b1ad04558c7119bf69b18669f0b4b2f06465f59b
input_heaps:
9ca5f92a14099d9d0578aa86393b807a3c2738ce
5d409056603c26099742d14e8f0a43cb37242805
f25b7aa9bfcf042befc4f0b5d99c36328c0d769c


