# isabelle_session_info

session_name: HOL-IMP
sources: 66724a6bd15cb5bf8781848bb2e64428058ce9cb
input_heaps:
54c79e9de84c074157fc1ab72ed178119623db9d
1d3c498146e221cfc65a0799a6b457079cbcd5e7
22af4039d4c5197a7a354adb14ed58f818751d02


