# isabelle_session_info

session_name: HOL-IMP
sources: ae27b89c92e9cc72e1a8e1abe1e2cb4c11aa20b5
input_heaps:
535558cd1d6aa4526f469e35299f792644e559b9
2b4187bc161d3676c7ecb02018a49967dc6a5fb4
25b9df82f9955898de3fa6be4e7432b8649fbd60


