# isabelle_session_info

session_name: HOL-IMP
sources: bdec73e44c5537d2c9e4b78e04ee2fe9181eee7c
uuid: dc7c0c4d-8273-46e7-affc-d5bc46d70651
input_heaps:
f2c04b3a245c566a66a6acf19889f982d671348e
6a67644276429010a483254405a7feeda90e288f
fd453820fe958d1fee7dc97e4ad62f07a2b9f581


