# isabelle_session_info

session_name: HOL-IMP
sources: e2b1fe6891504278deb776cd15bd6b4b65980486
input_heaps:
0368d846b91517e6bfc74b22aa4589a14a64f868
42798967e97a29eaa625d2ed2073e7fc3fcc184c
680c999822779f6c5360ad6bcf5fd641b0fc1344


