# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 15beb20b6e3d91d00ea47e4d8d532fc2dd7d620b
input_heaps:
eb8afa5f3e15914627405f139746db5363a9c9cd
f9d10642c34cf1b033c11c0e6a9a4a5dd6b1321e
4325d35643247cd98417e4f049d9670952babaeb
7cb2dd7aacf65b4de943ef582fccdd5bab54eb84


