# isabelle_session_info

session_name: HOL-Imperative_HOL
sources: 7adf55514108572972d8e71eab00640425ebecd4
input_heaps:
10764ddc346d5177be378b761316527db367ec3e
a0b11f9c133aa49ac228f451be8e515f846bafaf
4da24bdea1ed8db5820c4f29605d314f12cdfffe


