# isabelle_session_info

session_name: HOL-Auth
sources: 2c5dce8f916c06e64fe3fea3430589db536ee139
output_heap: 7b11c8a1a480df0e0c4b3543dbf8d7dc98ebefac
input_heaps:
cf9f2e81ac8216fb96115b1954a56acdb70fa044
b84ef1fe993781e8ee07abc4373f149f194fe8bf
8e8644e5c195f1c94a349854d76163a0622d99db


