# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: ac1fe76f8f7deda195c4a95db0b25f2e998b4210
uuid: 2d01cf52-f9f3-4899-bed2-c18de7745f04
input_heaps:
6658f1360d03aaa6e9a44f29ba89e5d4511bfd5f
f5ab5fe06f6d5ebf55de4e984914a8d78a3ea819
5502cdffd2eda808cb446528d7b80cb6b10d60e2


