# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 8d619861be7dbcf51c77be35ea1e43a7517b39fe
input_heaps:
fa95ed0464f30ce78a23f18378a450505aac44e2
33766297751265f96298d96dfa2ce2f96fd564b0
e3b4e0b699f05ce3febc45161dbf3eff25d7bd15
efc7159dd22d4dc8c21ca2e2f5644f46b5c0e023


