# isabelle_session_info

session_name: HOL-IMP
sources: a8b0becae57fa65551296890be771ce135ba06d7
input_heaps:
dd4458878f01a34a1b5791d5d83a4c7fde98b709
f992b25f144d396e58a39d8cc82c7030f4bb4c7d
8684a7e8de0729f5c9b39785de5f81665b01d5b2


