# isabelle_session_info

session_name: HOL-Auth
sources: 730ea3c1ca284dfdd6f687670861e845e40a5687
output_heap: bd1b3e095d941d44d08d12587ef8d631e98aaf6c
input_heaps:
cac5d03352e376834a77ac05dd893fd2179d2522
021e215213850104e25ab568a4ae9421ef705042
4526834c9dd8036ec31e4dba0f2a68c42a19b451


