# isabelle_session_info

session_name: HOL-Imperative_HOL
sources: 7adf55514108572972d8e71eab00640425ebecd4
output_heap: ff73468c46b33b620b29cf4cf60c799f3dc366d1
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
384240766f364b0530b95cc787b490d4a226797f
674eb2177a7a1aeb269732aebccc9887dc51fa48


