# isabelle_session_info

session_name: HOL-Nominal
sources: 490da02aa804d6405fffc71631415a3f74932fa1
output_heap: 8dd39114ba20eb827cf217e1ba575bcb60823c13
input_heaps:
0fd942c2de17ffe6e7e669ea714c0bfd1357b97f
96be2a9745a5315d1ee7c3748cbb3041e3514260
7fbdb384c7dd334c316c02e41305ad9f8b47d436


