# isabelle_session_info

session_name: HOL-Nominal
sources: 7005f7d54a59df134591d9d0eea15d881ec3ab22
output_heap: 055eae947f1cd77eabb11dfbb0ddef011fb2026a
input_heaps:
b121211610e458dc97d612673bcd7347cff880b9
1a49b8a85ced53b842cab647e6c466047ce342b2
f09c2300a0729d3f40460de3221a99f80cdae554


