# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 09798db9ee919851d3e5ad53cd3ded0ae8bc46a7
input_heaps:
96ecf35e9f5cbdf8f83e1ff7c688f194e3fa515a
3553617e6f9cd74e9a13eab3e3ed1fb7bfdcc676
eb19333c8a3b97a2bfaf4099f7c189fe7141e29f


