# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 59adfe002f1e40e565f12fa4fc0dcc0dec8052a4
input_heaps:
0595afa400e94bc790f9ce057508b43b15e1e2fe
bea096321b375aa5b5a5d10e9d974b036f7f356c
daba4efeb231d4e35f08a9ab2448b90f982000a7


