# isabelle_session_info

session_name: HOL-Nominal
sources: c9d2ba2119f06ba301014cacb2d5e623b50c7891
output_heap: afa89e603ed170fda83a17897150123333eae24b
input_heaps:
b71b2aa485767f91425b025d2acb6b14a80f48dd
fe032c99cb4dd9300104ffa318b3d3be808bc47b
de61e68e68af1d57b2532805aec602483b3d5532


