# isabelle_session_info

session_name: HOL-Auth
sources: 3f87f5c9e578d0385a460353e8a6f92f08c9512a
output_heap: f26d7030b2dd64a099144c57412a1935fd8201b5
input_heaps:
bd83b15e1e0e9039a1a1655585e69901cdaa3f80
e4ea8cd95193acd87d6b106879f9d68d28c8a75e
d1789fe27bb2acdced8c4f59191cd5d99f361f8d


