# isabelle_session_info

session_name: HOL-Auth
sources: 22830d6bb4ca2083785a7fba21a01f31618399a1
output_heap: 222cb44da0982dba8cfe90c91bc260ec39253379
input_heaps:
d65ba42434d6727fc7f04b55804d146f30a57487
b1ed8c3121239133acb432bd76f77a58710e1512
d3faa4940c431528dad657fd6757d3905bf63dc7


