# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: bd817425d15d8d431ae0105379a055f27c8db022
input_heaps:
4dd43a72c508768fac50cdef9695e95242e7fb38
312ccfaf33cb10192929cf5a1eb5ffba69430935
75b541f82e82e9e8f74d94270165743658e351ab


