# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: a37f18c1de3f430daa359c6b3210648848c7736c
input_heaps:
ac8f8db169a1aed7390bac47335c1f3fb99f78e5
b6cce1e1d33c0d17d7395f24a436b50911aaac97
85ce2e6de691a703d096ef69845c8f4f6540e35c
5122191296d41796e71978c2cf039b09105c95fd


