# isabelle_session_info

session_name: HOL-Auth
sources: 8eb48934c97eaf3c0c329f39ebe8137a53dc4a3b
output_heap: 56e4af234209e8732dcb8d5d6827ac2ad01c417b
input_heaps:
ec1fa52d7e9afb209e4092357e883ff03bdd4353
258dd0b2c6018904988ce9e16128dd8a4d0f1ba4
65e674abdc1ec414ff9ebf938843f6b31d0630ea


