# isabelle_session_info

session_name: HOL-Nominal
sources: 2847cfe75335dde6583f648083f0bc7f2fc685ff
output_heap: 9e78a20a3b89199415cae8e5159baa0f932230eb
input_heaps:
94cf8b22e7b9779302e83823a3f9fd89964c17a2
11c8c0764fd3d166093177f08c28fea735200be8
8ef08a40b4fe56919623b80845ace902de3f9da4


