# isabelle_session_info

session_name: HOL-Nominal
sources: 95cbf4d6025892453fd1072dd68c416286353124
output_heap: 97125c0ae26fe66003f7d44ff66d64078b7e07ae
input_heaps:
963f5dbb395fbca1ebca428683961ef28be59393
27d8a2f2e6bd96d232df533b2f806252fe1eae7a
b25a7482d85d598bd4d3ea67426031228d90b41c


