# isabelle_session_info

session_name: HOL-Auth
sources: 34d676c9a28d84097d0334f1b93d53cedefe8d69
output_heap: 96a98a6c7bd5c1c731b36742d582f2c4a6457e2f
input_heaps:
a065929dd1485620a1fe2ad1ab24aa44d802e5d5
ede8de29f8f7a2c7b32f6204d128100843065a70
cf40046c067585493ddf3eba008355fd2ae23943


