# isabelle_session_info

session_name: HOL-IMP
sources: 8f5c6ce86ddcfca0417aaf3df22b713ed5a0efda
input_heaps:
2378b0ecfe5f199d8fe42ea5ccea70a2a20923a3
229a1d829501cf0a740156509d19e43499ab4bef
ca14f16b93325bb5550fb25e064a375284fc566f


