# isabelle_session_info

session_name: HOL-IMP
sources: fafaad29c88fc0de059e92041a9d494a9c8fcbe7
input_heaps:
f3782e60e56b1de215ee686052f461bb18c61005
ff5fe0825dd1d8f09ac6ba6d5da68bef29f41d33
cea65f62510c72c82894137cc6afc255458430a6


