# isabelle_session_info

session_name: HOL-Nominal
sources: dd4a0f92153d9809f596ce7186357de5d07a1d77
output_heap: 07b4af73175515fd4eab96e937ff4b5be516e5dc
input_heaps:
3e4e9593d539b8de84137329a766b1811bb0545d
8426ac7e4ebe67d06e6b6dbd3c2ea4d00a97ad3d
aa70b0b664c243eb3e7f38d45026795762d39fe7


