# isabelle_session_info

session_name: HOL-Auth
sources: 5e893391550d4a542c4c782354f780eb233bedb4
output_heap: 2163b35c5f0d7159bee07484d08ceb13a0787038
input_heaps:
bbebfe43e4672418dec173344261b86e1cd2663b
eeb4fd45fcdf426f1467516cb214a570baab65db
5138ad088d74c831a27bee3f69a5bbc2c68d8fef


