# isabelle_session_info

session_name: HOL-Auth
sources: ca992bb3fb8eeff0d958438e9f11b0da8acca562
output_heap: 53b9bab852ab2905962be7b9a105de7f0b214cc9
input_heaps:
144fbd49de05d756fe9e2e19f640fdb8a712f8dc
a414a4ff183b67646c55f7bc60a981cbc1fc30c5
3f15a4d09d6cf1cb917b6067d88d198fb48e78ac


