# isabelle_session_info

session_name: HOL-Auth
sources: 86cba48a172e10129a0cb1e5f74341dade936ff6
output_heap: 6af91eb62a2b776ce1badadd416bcfb84a79492b
input_heaps:
43c7be6fe13329de6d6a102e9f64126d9c7b89c8
894a67f4e6318269dc9aeb1a75f1b806f92e5710
deff6c40857bf785dcad402270088b0852825e1d


