# isabelle_session_info

session_name: HOL-Auth
sources: cd76d06611b38458156e8143383c6d9406b77119
output_heap: 89e1ea310f14ba44e0571eb161ffc04ffe14034c
input_heaps:
6ae1a84ef57c6bbf74a3f57a85a1826e7af5b405
b8ee4f468bb95a631fa62beebd399286b04c8e85
737694e1bb48c4c9ed94ab728fdc9b375d4b19e0


