# isabelle_session_info

session_name: HOL-IMP
sources: abb2bb18d5ad542f5ee5dcaa8b2f2a1980f00d10
input_heaps:
d68c97a199327570bbbc88bf3960f7f8ddebeaef
6559143f0d47d16e6a6701e66f7790a037da1ed0
58b1d73f55934cc15c4b14db928ecdbce9963615


