# isabelle_session_info

session_name: HOL-IMP
sources: 5076b1bfa30ebd8c7e017bd6d2549d10ac49637e
input_heaps:
eddcfa062a672f0dad34c5be0cd823fee08f5bb1
6803283bac8240f6b1c8d22324fa1bb842ee176c
521298a7f472fd1887b13cd77adf687f3f4f5b78


