# isabelle_session_info

session_name: HOL-IMP
sources: f33722cdbb7a843e3e7a68504ef4de5fd262bcc1
input_heaps:
b0eb6d493ef01916ef2418e3bb11c9efc956fdd3
d257fae31e53329cb529aae390c73d70f2360d07
511d012bbe1f011c9f4f65228783baa4a2c7bda7


