# isabelle_session_info

session_name: HOL-Nominal
sources: d4410b44e24cea38b815ab52d5a19f2dd64f6246
output_heap: d383634920386bb549cf6134d0be0f64e6c0f0ce
input_heaps:
ddf058c9f10e05f4106827b25b4f95ca1cedad49
983acd18ec90f8d3a7702fe7ef442de9eca26a93
f11b1db14a499cf39a77b30ecbaf6ce479036731


