# isabelle_session_info

session_name: HOL-Auth
sources: 9d432c113792c3f1b67eb6b036b8bfc1b525cecc
output_heap: 5768bd3a2b9e50c6a5da9c2fdb0307015ed1d986
input_heaps:
94b8e49d0043e944a495f19c32608cf5b0a49aab
f8d5f0cd35173d4d81fed47d6fa807912b821f31
a840f3b5c925c9db3887092c2e92ef04e87eacc0


