# isabelle_session_info

session_name: HOL-Auth
sources: 60882a3ed372fd8ff239a9de4e1bcbf3fb7c4e87
output_heap: 9be0bf64fe735f4d5e4d4d93ac80bb5944a73a6f
input_heaps:
db6f05ad5884c3d4b639d9f4b203792d5968e568
8f4009a03cb4dc8972f8428957511cea3c656c5b
a57efa7649a3294a1a9152df50ebf74ad2bf698c


