# isabelle_session_info

session_name: HOL-Auth
sources: e50a526304331050be04b82cf0d75bb891524691
output_heap: 021cf2358b59ceb0910ee35cfe402891a673a55f
input_heaps:
3dc9a63c78f63d335cfea55adc02c1d0848e7fcd
3a42a0f8b85512921c9c3b360b59eae7529e9460
9cf9cb3153034ee715857555f95cf6d0ebf6bbcc


