# isabelle_session_info

session_name: HOL-Nominal
sources: c35b19688071d7e4271115e11ca3b415c0358e88
output_heap: 7200e48616d6252af8e1175cd8f9c292f728f0ae
input_heaps:
dfb2cff39355450cfd9a38d0868c45c739868d18
7c72e15715919641b0ffd3d741f84942d786d5cb
e277d9715692c228eb3bbaf9aeb5789a062411aa


