# isabelle_session_info

session_name: HOL-Auth
sources: 48096bdc86d30e5d6b1a5a15102f603001d66d2e
output_heap: 5569f61dfbae1c1e0d44feabc68a2078652503a1
input_heaps:
0ca3541890e85917e61d4eb1b72fb2facda5c940
aab8e5e46304aa7fc190d3aff0013f892253e042
89e6978f83d6894884fb27524a3930891af11752


