# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: e6b7fa11af9a90d3f8151e5de2cc9a552ed4f04b
input_heaps:
624fde0117aa7d8b47c7bd3b690a3caaea6cab8c
d85de68322e7b854283d40aa8892b9eca81ccfdc
2e630a8a2f3e70bc8dac94dda672b6052bfd94f2


