# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: d3fefbb23a298f82550dc8e0ca54ab01f8b82c39
input_heaps:
c8b758c55bf2cb56ac81c62d74f7a65f594ebbff
4e355dbf04f38016bfcddf244a1ff37122307044
e4eed2c1c047c11687d10e18c9475647942cfbec
da79d6b6638c96e793cb8528cde35f40d6dc2484


