# isabelle_session_info

session_name: HOL-Auth
sources: 88606418e9b70f33f590b45903c60472fd6bb1d7
output_heap: 9ccc81575a4e03e3409ef739186f8c90cf6288d4
input_heaps:
181aae7d465d5494ebe895832d6bd3b131b73565
e55ecd3fb2aab56b0163bd7985198bc1847aa93f
820b0774356d6c074a134661734522d627631228


