# isabelle_session_info

session_name: HOL-Auth
sources: 6c0c6be332232949fda55e847c0abfe8b70ad494
output_heap: 3429e25b3fcb215f32243790a98edfec7eb6aa15
input_heaps:
a69e01c96a12bd53668892d3b016657d478dd6de
3c734878b591af1befe4e6e92cfa619b5f2484ec
ffa93f14b53080023971122cdd81d750be7857d6


