# isabelle_session_info

session_name: HOL-Auth
sources: 2ab9f7ddcacbce6857f04cd40e29d2cf11452d5e
output_heap: 37e2559988e4444010e71dec1928dcab4fec7db5
input_heaps:
3ef6c9a0eb470e4693e1ab85852721e78e1c146a
f550ffe99d9ea6d3907e695610a5094009d15b06
91b9d88e00ab12aee1558ed7d5ea87a44009d22b


