# isabelle_session_info

session_name: HOL-IMP
sources: 262ccb2ec0d2fc98cffc3b3b073360e63c27e9a7
input_heaps:
244fff9626586a47cf219a42d65621cd04b99d5d
ffc040b6ffcc8a36a19cb39cf7a22fb8637d0a4c
b83d4e80aee1d88cdeb177262aa9882502bd4fd5


