# isabelle_session_info

session_name: HOL-IMP
sources: ce63b2c0e0ea9d025fc48e2dd74f2365f446f7ab
uuid: 3f6bc130-3675-4626-94d0-93c1a1b4274e
input_heaps:
4348ecd95d08b83381d65d778dc99414fdfeb2c2
a77f4df9e49ab5de749eea6768f2c7722537ebe4
9309a27732761fe284cdbbd5c45863a9dfc6c5c6


