# isabelle_session_info

session_name: HOL-Nominal
sources: b00a381e62d5b00d670fa13304ecaab53535a952
output_heap: 800769304807f09d1dbf22b8cc38b81a0372754a
input_heaps:
1c6f2074cd6cdf579a3d3ee0e0c3866542d97adf
dc5a1495e230b9fed28df216f9bc9b8936ded4f2
1417cf81634704ab62dd990387c7bf733191a6e3


