# isabelle_session_info

session_name: HOL-Nominal
sources: 6d9626ea8a3fc54c4a1b0ca219cacb504aead9a6
output_heap: 24cecc959041486775737b1d2a310e2232d01500
input_heaps:
c56e6b8d00b62917dc219d0244bddc857daf987a
8454751ea11f5c0dd5919b6257ca06ad8a493bc1
bd6f01ba7e618c19efbdbfe8c99cc9de7eb6f387


