# isabelle_session_info

session_name: HOL-Auth
sources: 8e6f0426b248bb6a7e08710d651244218f61d7bf
output_heap: ea9786af22f76d76ff665e4c248a5b765b47271e
input_heaps:
88012d37539d18f74cb8b5735460e837dfca88ef
29f0fc07a4a3b14ae9f2f6c9593066cdb6e88d48
12a29680371b3f619710ef1c88d5a00c04ec2ab1


