# isabelle_session_info

session_name: HOL-Nominal
sources: 0a280b9ce58b9f5c47c7441be5a6106966d3aa64
output_heap: da472097d2a3e866b904a9e1b187607aa5b96ab6
input_heaps:
91654f4d47736227ca5d0c587bac104f80bcf18b
cefe1a1c8d8ccb79dbee55a881d829917092bf29
a9f7bc9322ed28390dd1b938fca489f9a15f93f3


