# isabelle_session_info

session_name: HOL-Nominal
sources: fca0551e39289dae8e668f7e5bd670498a216e26
output_heap: 0b14204a7aeea61873931802ca08a8d41a422ce1
input_heaps:
555d97234e2215e68dcfd0a908d191212ea0a6bd
2fd30c2f107bbbb7300d851cef8487427bd43e67
9b7a7acfe116f5e04c67ac2a6b1873b9c226bb01


