# isabelle_session_info

session_name: HOL-Nominal
sources: 58addd99bbab676580f4aa6d127959d7a5f902c9
output_heap: 0bdf26cbfdfa47ea1abb09ab38cc8292d8dec59e
input_heaps:
a709d2accdf7c7879bbeb7e5998f5ada145fc66d
83640fd834535baa5484547dfa008f9bc8fc785b
847e05063399add3820be03226a72340c399a3ee


