# isabelle_session_info

session_name: HOL-Nominal
sources: 7005f7d54a59df134591d9d0eea15d881ec3ab22
output_heap: 6178ba9d8c593b5bc205c75e3f91eadaec97df01
input_heaps:
54cd32f4919d850faca17e94e357093dc43a48d9
f85412ed18f79fc641e57fba244090c4b08a2333
acad73c1eb4ba4dc30e9c99aaa0b98796b40761f


