# isabelle_session_info

session_name: HOL-Nominal
sources: 9c6bf8203cb61e957115b0c8d329cfe4bb480cdb
output_heap: 0ef786e897bfe70055459af8f507246f21067eda
input_heaps:
bbe5847e310595c720c365f3cee328952d2bbbc1
7d7164aeace04141c8f5bcb7d9fbb94248795f35
91c9d764198d5c3056274ad08de9933e915cdd17


