# isabelle_session_info

session_name: HOL-IMP
sources: 0834142224926dfbfa298094eed79a31ff3d1b55
input_heaps:
37f305baefe6e45ebfd7e114cae155924f962693
bfb08ef1d7efa3b300b0c03bfcddc089b87c4052
a46f966c0af0b03f4220b97d56ef5f2ef34a37b3


