# isabelle_session_info

session_name: HOL-IMP
sources: ef231dd506c13d636f6b7a3c895994f0adf8c80f
input_heaps:
20906430ec5c0933a7fdffa792e81b426e844298
9a78859f8ec1536e91dabffd5d8d7336fce93827
a4be5b73f229f71dd6a0db24b47a894124362cc0


