# isabelle_session_info

session_name: HOL-Auth
sources: 842812025c435ff148bf4103fab9b2ee1c26a436
output_heap: 06445d02aca2cd31b1761a6002db56d2661cf1d4
input_heaps:
b8fcf8b70bbd7784c887c97c24c8d372c7a8697f
771d3a59b10f66de11250785c5bd7311fa4a8612
fab52d600a5e7277c82c2b29f626f360e64d282e


