# isabelle_session_info

session_name: HOL-Nominal
sources: 6d9626ea8a3fc54c4a1b0ca219cacb504aead9a6
output_heap: a32be2a4f089b45d892c7fb56a4944310600960b
input_heaps:
07237e2b3ade8f359663183ef1c4fdf52bd9e545
2b4ca8350fd83b5b43b9dadb5f9e51dc7c3598b3
297af583c2eebf38f8efc927b3141ec956b0c1a2


