# isabelle_session_info

session_name: HOL-Auth
sources: 27927cad7ad9cd6721305b36163b6e70e1cde717
output_heap: d0ff61e2c8420392c43dbbdfd35f92a3f49eb09c
input_heaps:
c02607a1ca167edcd658ec3d4e79e4ea4af5ebba
3b9edca41ef3030e0a722d7987c2d1d2e4c73333
b56428d245432f5f15b93df17818e6c844dce2dc


