# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: ab45c7e388d2f9a7168464da83c20d3403575767
input_heaps:
d0156923f0ad172afd1e52e8c42b320ca81bf477
0a30aa7271dc7c235e210102f9965a6a7e549178
9d89a2536d994a15526b44b62aa1030e4d421ec5


