# isabelle_session_info

session_name: HOL-Nominal
sources: 7005f7d54a59df134591d9d0eea15d881ec3ab22
output_heap: ee18b5c7bf0f7b820e98950970c14be541089578
input_heaps:
ed6caa966bb75077c120e012673453f69d500802
269c54a80d587c3b365ca98028240e5f8391db0a
777cf8dd54e76baf8f45a139697e479ae8b5c1b1


