# isabelle_session_info

session_name: HOL-Auth
sources: eb58f16d50daf15312ee932403cbbf30184a1b75
output_heap: 21e4ff845c4bfffa228d8a76b82e97a64ef8924d
input_heaps:
97d0ac0823a94d13ffe050d721376d08c2de50b1
dbded9b0ff2fe4176c90e87a9433f947f4c46eea
2ea6859f0c3698e134d31479536e423202ff753b


