# isabelle_session_info

session_name: HOL-Auth
sources: 8c985632a696d331d5460f9d5d668a1fa72ccb80
output_heap: e01629d1346ac6fa333511967d1c89fbcf0c63fc
input_heaps:
bbe5847e310595c720c365f3cee328952d2bbbc1
7d7164aeace04141c8f5bcb7d9fbb94248795f35
91c9d764198d5c3056274ad08de9933e915cdd17


