# isabelle_session_info

session_name: HOL-Auth
sources: cf858a25e074471d38133acf649d3148d7bfb02a
output_heap: ee3a4907ffb27fe3cb802b5435ecdb5c0ceef2d6
input_heaps:
7a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d
c778faa6bf8be5df05c2dfef635e886ae01138d5
0c6af15267b265e8188e286a4be24f4639b3ee7b


