# isabelle_session_info

session_name: HOL-Auth
sources: 69e3142a35ad3eba3756cd6d73ba8ebf33c08754
output_heap: e0f6b783385b841b9965184c62fec3c2d37e3594
input_heaps:
62858bf7fdf2d16c6c85785e129356049e07047a
91f84b8d0d5f1c5d3cbd22557f0db5f1ab6f6a8c
b968a3598e18f78a38a4319f8fd77de2165ed05d


