# isabelle_session_info

session_name: HOL-Auth
sources: cd76d06611b38458156e8143383c6d9406b77119
output_heap: 4b0f6e2346173fd397794c1c666d3ead8525da93
input_heaps:
31bf4bac648c51f49408130bf9489829be3fa993
35508bc2877195b4acaa6a24645b77282ba20bd1
335fd30c7bba826813aac0fb24e7ebb1383cdf29


