# isabelle_session_info

session_name: HOL-Nominal
sources: a8c27264e0608dafa16df261bfd40d80bc5c2df7
output_heap: efc7159dd22d4dc8c21ca2e2f5644f46b5c0e023
input_heaps:
fa95ed0464f30ce78a23f18378a450505aac44e2
33766297751265f96298d96dfa2ce2f96fd564b0
e3b4e0b699f05ce3febc45161dbf3eff25d7bd15


