# isabelle_session_info

session_name: HOL-Nominal
sources: 7dce29ec8763f53554b19f09d01ed7b39bb6b01f
output_heap: 3b5fc5cd764024ed54605837de4cf5d19a404cd2
input_heaps:
6f26ca3ab6e09f928122fd139783e1aee2ccfecb
d7be5c492ff18edad8599e5f817e46a8fad7eb75
503d0c78c1279013d4c4eb814050d38d847bbfd1


