# isabelle_session_info

session_name: HOL-IMP
sources: eba4f681767fd82d3f0e4c3b20ced64ccecd44d2
input_heaps:
52d50d10ccdc465a02bf994ffa404cd98f184ab5
894864dd28b977490995f7378a440f9a7de17a67
20c038704f4f82b1d8063d9a1ac8bbdfd4a8639b


