# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: c1281c7e5b3dfc89ed28b302754f269a6df3da36
input_heaps:
27f83cb75cdd20c60083d6072d302ef3062f314e
dd918606b85bd653685a072b9f3f02b489037476
b773afaf9186b2131b8c7e5d3de2e023fb25372c


