# isabelle_session_info

session_name: HOL-Nominal
sources: 10c42ab9be436262905f03af74ae27eaac569062
output_heap: 6f2e99602a79b866d6f57a30aaf29f69def60ccf
input_heaps:
d40ca4cdb5a529824fb7d177aa42025673a71052
633e17bb1fe2d387c6bb1f2f01166d06622686a6
b5b0b64e72a1674f555c4fbcad929f2c1ef60ad9


