# isabelle_session_info

session_name: HOL-Nominal
sources: 3e25016b14d953b5055d246014898aa7f5e3f1ce
output_heap: da79d6b6638c96e793cb8528cde35f40d6dc2484
input_heaps:
c8b758c55bf2cb56ac81c62d74f7a65f594ebbff
4e355dbf04f38016bfcddf244a1ff37122307044
e4eed2c1c047c11687d10e18c9475647942cfbec


