# isabelle_session_info

session_name: HOL-Auth
sources: ae8304343a613d4851b8b766a73edf32559f0f23
output_heap: 91e7baea4a767d1c4d787cd2a2bb2571e67d9bc0
input_heaps:
dd6687a512096fbd242a18d446c4b55d3f2372f6
a7edc0dfd0db9e0ca7cd3388f7504d2b7e824607
5c678e4a838ff829b19b28b6ec73b6a65cad2c18


