# isabelle_session_info

session_name: HOL-IMP
sources: 7c05f6db08b2b7e1169f39348527dc8cdd9cfd93
input_heaps:
c7eca97fa6ef005cf19e871cc66dee919202f2f5
d7d8e72ec37a9d8fd658bf45be9f01f4c101427e
98e40bd54e0043bfb45e5a21a2cabe0561c43cf7


