# isabelle_session_info

session_name: HOL-Auth
sources: d90d2a82f3365a4503aa5ee66511de96b25a95ce
output_heap: a3bf55f298c7db470d4074ecf027b800220edc00
input_heaps:
99005465b294440907f056706dc01a7cdcbed98f
e401debe3cd3d8202814086cb5f8caa834df63ef
1a57a2e84004c3da646336c45678f6b06cb6bad2


