# isabelle_session_info

session_name: HOL-IMP
sources: 4bfb56d636de52a92c1364689a9adcf12ba8462b
uuid: 7ac961d8-a712-4188-a8c2-e0a2eabc1ebd
input_heaps:
a5086d29dbb3569e49157f03765007c8bb3737a4
079bb0e482226665fc24021353b53387cb6158a0
c06119fbb050747950d221a8f810d9bb34960724


