# isabelle_session_info

session_name: HOL-Auth
sources: 2072bb08e54d6cd9e9de62bbf460eb1c3a10de3c
output_heap: 494c6762b40d127e7dea5c1deb7c82a159c62104
input_heaps:
a3ca72e93022ff3a13f721dde80608155e0e134c
03ac95b81282031db310f795682802eff540a88f
ec5f667793f1a373a81b1fe8344e2c3b64c5cda2


