# isabelle_session_info

session_name: HOL-Auth
sources: 6a159383f6bc432c0c806d164df01830f3807c74
output_heap: 5449d8eb5fa51ff4cc4c6cef19ce34b1aa98742e
input_heaps:
3af822fee716c8c3f7a258f5d449a67bb4886bf0
419241d6c416195954afc47f066fda364f6dc3ed
fdc03ca952027d0bd33dc4c7de67a23c01f4643c


