# isabelle_session_info

session_name: HOL-Nominal
sources: 572dc045d13680e48d89e86e752e76e94a30394b
output_heap: f18631f70bac9a96c0a1195c9732b0e192cdf309
input_heaps:
9b9f81d4c305b88e1723b753afa9d6920245812e
c4fec795bbe4e08dce23c820eff003287faea711
430e9de3efdee3e74cea0907e193395680a2872a


