# isabelle_session_info

session_name: HOL-Auth
sources: d4fdd8a596640eede6bd82e886c4689627d6cf7f
output_heap: aa205b7f689e6bd634b6ccfb9784e5350444fc38
input_heaps:
2ab6afc53332b0678cc77dc53d23f8f23ad3ce19
470e85b8ee0fcd8c2c6b9a7daa17d466ca7b3c05
a426063f2358f0b040eb0bca810e8ea748b4bea2


