# isabelle_session_info

session_name: HOL-Nominal
sources: 203cdd26b3806e3d0840ae60937af414941b073b
output_heap: 6ea9af741ce22be0c173ff16534553337bc0ea36
input_heaps:
990d6f065907fe87c3f0b304ff4314e6b13119df
db154f67af988a0c0df6b54930de927964ed1988
f76507b7fd360cf3d44a63f6ea68bc4cbf51512a


