# isabelle_session_info

session_name: HOL-IMP
sources: a08ba33a5e3184f4201f2fce54e49379e57bbdc6
input_heaps:
e6482372651d25cfcd88b33f1b222ef5cdb71889
fc0e5d8b4e796b67ceabc210f27e4a4ee0999ebc
aef5ff10096fa0ad7e3acd5dc0607ec20af499b2


