# isabelle_session_info

session_name: HOL-Auth
sources: 2ab9f7ddcacbce6857f04cd40e29d2cf11452d5e
output_heap: 8cb8c0a90d003efa822d61465d3ef3090d8d8d9b
input_heaps:
19b4b25e295fa87e73b1db14b76878201d84b83c
1937eed2483e86963c5970fbbfe36381a164809c
2b633afd512e8c67b4ca7841dff6137720b92e65


