# isabelle_session_info

session_name: HOL-Auth
sources: 5f758511b03089b7d9090e9d50a81d320f400ecc
output_heap: 808a0bd8c1545b4b6e84cb47308350fefbde7b76
input_heaps:
0d46e8014914da4e1c47dfabe60e74a66f8c0804
3c595614c5a7dd95ed6bb1c41dbdcbae6cc56fd2
5b91efea01484ea6c028831d5a7791381a052341


