# isabelle_session_info

session_name: HOL-Auth
sources: d4fdd8a596640eede6bd82e886c4689627d6cf7f
output_heap: 4874f9b31d18af8e2169a7c8758b2b81936e9088
input_heaps:
e739dc532a6c80e6f5d762f572346ebeb03f4552
5c6d1467eb3dbc220749df9119f5083087abde6c
a222adeaaeeac8054ee14fb02b6697a4291344c2


