# isabelle_session_info

session_name: HOL-Auth
sources: de6b3fb5fe6165f6b8ddd9392f4217c536966e3b
output_heap: 86bfd2f6a14fe68aabdfb06ef9a00d7e1bc183c1
input_heaps:
ad9522bc18e2b2a6cf26599b560f2a9ea7596aee
b002d126cf91bb7c3419b108b7ca31e9b00c41f3
51a7ed38d58663905bdb7495d49784a0156b7357


