# isabelle_session_info

session_name: HOL-Auth
sources: eb8dc128e0ad8bf5557f5300c30f9cf0cf2577ee
output_heap: fd5a0eaa43d082c0686c347a6ec7efd5b0c0216d
input_heaps:
a3a1775be1ea4baf5315ad6630d6c2542be8f5bb
f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e
85abb972e33d791a56eb0ae4d28a032db01c9061


