# isabelle_session_info

session_name: HOL-Nominal
sources: 5232e904c25dbfa336043586bff36eb05baf919a
output_heap: 5122191296d41796e71978c2cf039b09105c95fd
input_heaps:
ac8f8db169a1aed7390bac47335c1f3fb99f78e5
b6cce1e1d33c0d17d7395f24a436b50911aaac97
85ce2e6de691a703d096ef69845c8f4f6540e35c


