# isabelle_session_info

session_name: HOL-Auth
sources: 03c4a41ce7b6cc4022fb39aa09e1fd0c98a4867f
output_heap: c9c4805c3f75c4145947235acbc5e32b2993d4c4
input_heaps:
e8e3314a2216dfbbb96c9391593b20fa6b915b86
d5f092271c0e51c9f28f7703e0f3b57bf8bafc3b
da40b69ec8cd3b3853c6391ab26682d256c913ac


