# isabelle_session_info

session_name: HOL-Auth
sources: 51daae88e5fde122a3f052c0a0b2265ef2f4c1ea
output_heap: aa2304ce40b63fc9b883e3ab6e9589efcce0d901
input_heaps:
8b0dcf9acd2129acf08a9af17112933d7b840fa4
526dc7c549bdebbc88872b36d0ab533286ebcc3a
1af847f1b191f75e66619cd5c503f4d4a206eaf9


