# isabelle_session_info

session_name: HOL-IMP
sources: 94d9e43d5a79a645e7806c36b49736ef5837696a
input_heaps:
2323e0bcf9a949c0980c1f22cb8227d64a922d7b
c4b710fa6d0b34b7df331901656cc5e2aaceba02
750621154f972e780cdee5fea4af082c147026da


