# isabelle_session_info

session_name: HOL-IMP
sources: e4208620251e6eda47d20961368f7a5c5f51d294
uuid: fd345ce7-c11a-40a1-8c68-1b286b62e03f
input_heaps:
36485b6181fa7dd2234febf349f141456f576e41
2938869a4687eaba215c72dd9230cf340caa7c0e
e0b2413c63513a61c1fc2619cb5656a0d51040f9


