# isabelle_session_info

session_name: HOL-Imperative_HOL
sources: fa7f79bdc147506443ad0d9014928d4f630a9fb1
input_heaps:
7807f31208a9568bd30608d7be9668a1a8f218a5
80156b25cd81847161b976044fa2b16cc5837cad
d32a278ac349bf4da7f160701da7807f2c161922


