# isabelle_session_info

session_name: HOL-Auth
sources: 29a91ec7e5f717ae3c26f2e8f3ea89d4b15df269
output_heap: aca905d895abd47da733dbf6aa221fe7b6aa5dfa
input_heaps:
2e856cdbc8976d5457a0edc209f4bdbd9f5500c1
dca18b1724a67012412f5a3a93399814c4427184
b769adbc3df07dcd5b16efd671cea4c743e929b6


