# isabelle_session_info

session_name: HOL-Imperative_HOL
sources: 67d4cfa7f8c65a7a099ef4e419c037f1ce612b2f
input_heaps:
9884737fddd3e6081253c712523f8ecc142c72ee
a26171661ac87092335660b10885b138f2715297
4635c60c913dcc5f9239b81dba841b472bc64dcd


