# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: afeb9ab761345f0d763852c860a8e7e9b7b1708b
input_heaps:
4ef489b3613babddd4508356c27a113c0ac29a4b
55b6ff6b8f9fb383aae387ba1a281e772a16bdd7
92a54d91e8b43f1980b255d203f4d7843238eb3c
34c3831681b25ceacbbc8d28a85e3eed02445d6f


