# isabelle_session_info

session_name: HOL-IMP
sources: 632c584a1bb2f61bde7f27bc523cae8f8e0f5a02
input_heaps:
1943e47cd6d7055bba0065ff3f918be322d5f5ea
40d44bf7a23ea87cec853845e1a63abc0e491d82
9b8fdb44f656b3d8da1331cb528de62d6c6fe4a9


