# isabelle_session_info

session_name: HOL-Auth
sources: efbd99ba617a3b55d2effa1973a4853dcd1eb489
output_heap: 90ebc3710d4845a72ceb083fdaad99fdb062fd38
input_heaps:
2a442dabf4b3c56f5ef63570355cf4d112862e5d
c838443c8c2354d6d1cdbcfd20c3d57dfd9fd4f7
c51ca0b954a003af5287facf81b8b4f1a05bc851


