# isabelle_session_info

session_name: HOL-Nominal
sources: 3c7b20491fc9b644eefb97bddf0f250dc33835da
output_heap: 7711fc5809cc4b48cd5a52bc74d1c198a34a9b45
input_heaps:
47fc8421a194889d814b2263065ab8e04edfa5ae
17dbb756907857c7d44e7b32d4d1f9a0c868c32a
d81fbf38de26ba6ea0ed435ce0e9bfd8efedc974


