# isabelle_session_info

session_name: HOL-Auth
sources: 8cc9ce0d95568513c855f2427aceb334330a491c
output_heap: c1770b126e09e8da7b0cf0c442cdad652d6574f3
input_heaps:
6f26ca3ab6e09f928122fd139783e1aee2ccfecb
d7be5c492ff18edad8599e5f817e46a8fad7eb75
503d0c78c1279013d4c4eb814050d38d847bbfd1


