# isabelle_session_info

session_name: HOL-Auth
sources: 6d803380027968f24fd105cd1e4c4c6cf4d1007a
output_heap: 04d01bb1ab78d56452247435e25c345954c2e4bb
input_heaps:
b4ade832c2d8ae0bd9580685adbbf7212199884b
6105b24e2998351bc5036e9603d7810cd4823116
57038d43d78f43e7980e86f4f772659e9c5bd558


