# isabelle_session_info

session_name: HOL-Nominal
sources: 65d3f672c0296307de7e6e0891e1ff2f0175606d
output_heap: fd66c8cd4c3172080c0c06c3191e306809c7e376
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
a29a84bba8aa29c804c447ecf6bc83360b3be33c
402ad8d10c053d7ab99109311f4289da20bbcf70


