# isabelle_session_info

session_name: HOL-Auth
sources: 9d432c113792c3f1b67eb6b036b8bfc1b525cecc
output_heap: d1e8585697698d0e56a5f6a641e0426336e04648
input_heaps:
cfe5a245c49e801c4f19a240baead0ff89487f9f
95fa3f20241f8daec8f90a364f58f5e3ee443e4b
6e88ac6a211170ac5afdf506775325f0dceb1a55


