# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 63f258d2b89343a408c319e0d85bb2083e440b1d
input_heaps:
c64ea230285d7909ea4e291e0600b2281f3ec163
59813e7197c2ea57d24442f5882cad1d37e3a900
d45c7088d2de1bb843aafb52938f57f7c4df9015
7db3b862a90af94b0457a3359049ac95bee7ced1


