# isabelle_session_info

session_name: HOL-Auth
sources: 6101fcbd26cff7ce5c7f394441979d7f42ceac83
output_heap: 664537a952a06d3ddd6eb78f3dca8ba61c0d9da7
input_heaps:
6a4a8939512f5187f2e67f11383402b7a93008e4
c57ced0f4fe1cec403fa9d0a4a34248bd37ba3a2
cfd60e59d1fab428755f5079f87cb77b601d57ae


