# isabelle_session_info

session_name: HOL-Auth
sources: 79e50758494a96bd4a8b5f83dfca69f361d371b3
output_heap: 2989383f1ff3cf9a8b310b218e5a17b4de40e9df
input_heaps:
f6e8c467571f6b6fd723f058bfc31d74652304b2
db42b5600cfea4bc64c4d86c908b1b90546d9cd6
336d3bc6cb0ded842777b10b0e56e325079a5a58


