# isabelle_session_info

session_name: HOL-Nominal
sources: fca0551e39289dae8e668f7e5bd670498a216e26
output_heap: 8ef48e6e3dca545869ec85ecc20c032c2549e8d3
input_heaps:
ee1785166a21b9974f34c6db4735c02d08b16eed
ec22ff8536ec4b5c34ea2196ee11827fbde4653e
580192e2906e5cb024648f0961dd9b47e8e7b64d


