# isabelle_session_info

session_name: HOL-Auth
sources: 9b491b82267df0e154fa1c04285eb8507f1582b8
output_heap: 6f84c7ba3acb17299d65616e5fc85c8cb0ef7afc
input_heaps:
a709d2accdf7c7879bbeb7e5998f5ada145fc66d
83640fd834535baa5484547dfa008f9bc8fc785b
847e05063399add3820be03226a72340c399a3ee


