# isabelle_session_info

session_name: HOL-Nominal
sources: a76b5090f02bf81852a50777b096195a45a5ab85
output_heap: e265dae8b186dfa18b14243bb6c6f04b2637d83a
input_heaps:
a681f6653dbc3911110a79ad31633f9a1fcd6a75
adcca596685e64fd6307a9b86c351895878559b6
2da665d82e564bf7df7ab107d269aaed9a2229b9


