# isabelle_session_info

session_name: HOL-Auth
sources: 76046d3da975edf6a2903ae7f7a6c010b09199d4
output_heap: 6326931ec8dbfe3aad9875151d9be1bde40a90dc
input_heaps:
42a32478847503f3f85ef33601da5d3576da9156
89ede7dc0b82d7f6167cc537096edf93d9e4a1bb
dc9691f894f2b16fead545ef8fd13ae2982ca897


