# isabelle_session_info

session_name: HOL-Auth
sources: 3f1b6b646380c5aeb02ffe4ed00e91b00030014e
output_heap: d978e43a3cf23f2a9b1c51f8bef90d9158f69795
input_heaps:
54cd32f4919d850faca17e94e357093dc43a48d9
f85412ed18f79fc641e57fba244090c4b08a2333
acad73c1eb4ba4dc30e9c99aaa0b98796b40761f


