# isabelle_session_info

session_name: HOL-Auth
sources: 9e370ffb1cd7a02a4701b10935a5415451e24dae
output_heap: bb78af6c77bfbd52f49c4a14e5d6f25c41983f91
input_heaps:
33e372010bd93d78618052a88797c5afe4f11382
7daf0c8bd7744b8053173dc61bbf05acdc7970ef
b6f41c0185bf083cb5382e1146e55641d3db64d4


