# isabelle_session_info

session_name: HOL-Auth
sources: 3cb6f8573a5be06b1029502c2e6e737e2f4daab9
output_heap: d98e08de764fb88b2f2040d92ed3ac6144d0b125
input_heaps:
f84da1efeb09fd4a6dddd2573e5e78b0df151cfa
98f128cc9d5b9ec281c2dbbcccad4799d2c3af76
4ac9d0760ae4fec7561a961e3605e7cb0845082e


