# isabelle_session_info

session_name: HOL-Auth
sources: 8a1e474523825721076daebe59bca77f81b7076f
output_heap: 5983c405ea206d093b7e78f2bd10fb6ad7cda5fb
input_heaps:
ccd5a1012750b588259b9982c2bc588bac89f30c
78c86e253aadfdcdb820ae113e906428549ce708
bdf1a31163d0319c3f9cc80d4770e74dec170cd5


