# isabelle_session_info

session_name: HOL-Nominal
sources: 88e82da6d934a6ab60748401d65691bc8c49631a
output_heap: 1e7cc6ba66c814cb4e35641f3f462f14c15e67e7
input_heaps:
20906430ec5c0933a7fdffa792e81b426e844298
9a78859f8ec1536e91dabffd5d8d7336fce93827
a4be5b73f229f71dd6a0db24b47a894124362cc0


