# isabelle_session_info

session_name: HOL-Auth
sources: 21745a08fd0d95f74b6221c240faf323e4ed0ec7
output_heap: 7a5c5187170074ac03bd5d58b63f6fb3aca0d8b5
input_heaps:
38c0e2920549e9749d6e446b2b50cc3ebc6f2bfb
8ddd6744a680850cdb382982b4e7e53d36e0f0fd
c1aab8cc0b1f919474a1a1af5dc6d8bd244c5a16


