# isabelle_session_info

session_name: HOL-IMP
sources: 6cd3aa54f87651c4de1d8c31ad589575d8572ce2
uuid: c4507dfd-5ac7-4460-896f-4ed2311f0ca3
input_heaps:
94e2b66d00b77875014d997ac2abf11a8e903784
18be5846271af03e56b22434e2d70261152d1227
d9a46cfa24f3a848167675ad12d9530e9c5145a6


