# isabelle_session_info

session_name: HOL-Nominal
sources: 439f9dadb7e49d454422a9860304afe44bf8a5b2
output_heap: c8c9cc0df2cf02d323d81d2ae86d883a3cda846d
input_heaps:
d9905930882dc1ca91d8a276cbb235c5128aeb8f
bbe29fdbe06141b726afbb3a87f4199ceaad288e
77c619213feba679f53fa2b60a9ed13501c42e58


