# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 69634c905ba80e3b766fa0bbf9c5ca122bfd3e76
input_heaps:
8e5ed195ee2cdbe15f77b520f593f76d8130fb54
64c8f031891189ca79985911abef2bbef37c0626
467cb4539b881d399153fb4f8b7ecc05f9673ce4


