# isabelle_session_info

session_name: HOL-Imperative_HOL
sources: b3ad908c7307a9f28a187dc40ccc58aa8b4d2935
input_heaps:
e3a1ccee455624b3686c1405fb0ec62cb06ce178
de0a1f2a4957e4b95cf4b9e6c34afe0b61facf97
9a19b2d719fee58f87cac76a2e5c1aa7631b2810


